<5 (59)>= <Proposition (100)> \input 5 <Fin de proposition(101)> <Successeur (104)> <6 (56)> <Fin de successeur (105)>