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