56. Édition de la proposition 4

<4 (56)>=
<Proposition (100)>
\input 4
<Fin de proposition(101)>
<Successeur (104)>
<5 (56)>
<Fin de successeur (105)>

Ce code est utilisé dans la section 53.