Source: http://martine.gauthier.pagesperso-orange.fr/logique/condition_necessaire_suffisante.pdf