1SM 1 notions de logique 18 raisonnement par disjonction des cas