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