76. Édition de la proposition 1.1

<1.1 (76)>=
<Proposition (100)>
\input 1.1
<Fin de proposition(101)>
<Commentaire (102)>
<1.11 (43)>
<Fin de commentaire (103)>
<Proposition (100)>
\input 1.1
<Fin de proposition(101)>
<Successeur (104)>
<12 (67)>
<Fin de successeur (105)>

Ce code est utilisé dans la section 73.