1SM 1 notions de logique 8 Condition nécessaire et condition suffisante