62. Édition de la proposition 6.001

<6.001 (62)>=
<Proposition (100)>
\input 6.001
<Fin de proposition(101)>
<Successeur (104)>
<6.002 (30)>
<Fin de successeur (105)>

Ce code est utilisé dans la section 85.