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