1SM 1 notions de logique 9 raisonnement par contraposée