<1 (73)>= <Proposition (100)> \input 1 <Fin de proposition(101)> <Commentaire (102)> <1.1 (76)> <Fin de commentaire (103)> <Proposition (100)> \input 1 <Fin de proposition(101)> <Successeur (104)> <2> <Fin de successeur (105)>