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