1SM 1 notions de logique 19 raisonnement par récurrence ou par induction