Laurent RegnierInstitut de Mathématiques de MarseilleUniversité d’Aix-Marseille and Roland ReingerInstitut d’Épistémologie appliquée
Suites de Goodstein et hydre de LerneTER de maîtrise
