récurrence, elle, n'apparaît qu'en terminale S et la descente infinie de Fermat est
... habituellement donné est la proposition 20 du livre IX des Éléments .....
Cuppens sur les suites de Goodstein, respectivement dans les numéros 498 et
502 du ... 
