Comment effectuer un raisonnement par récurrence