<6 (79)>= <Proposition (100)> \input 6 <Fin de proposition(101)> <Commentaire (102)> <6.0 (84)> <Fin de commentaire (103)> <Proposition (100)> \input 6 <Fin de proposition(101)> <Successeur (104)> <7 (38)> <Fin de successeur (105)>