Raisonnement par récurrence

1