Raisonnement par récurrence.