1SM 1 notions de logique 16 raisonnement par l'absurde