exercices raisonnement par récurrence