1SM 1 notions de logique 12 raisonnement par analyse-synthèse