<1.2(67)>= <Proposition (100)> \input 1.2 <Fin de proposition(101)> <Commentaire (102)> <1.21(35)> <Fin de commentaire (103)> <Proposition (100)> \input 1.2 <Fin de proposition(101)>