Logique 1BAC SM /Sx: exercice 1 raisonnement par récurrence