Passer de la définition par le terme général à la définition par récurrence