Récursivité fonctionnelle.