Raisonnement par récurrence.

×