1SM 1 notions de logique 15 négation d'une implication