Ajout des fonctions mutuellement recursives