47. Édition de 1.12

<1.12 (47)>=
<Proposition (100)>
\input 1.12
<Fin de proposition(101)>
<Successeur (104)>
<1.13 (32)>
<Fin de successeur (105)>

Ce code est utilisé dans la section 44.