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