Source: https://www.ec-bievres.ac-versailles.fr/IMG/pdf/correction_proble_mes_de_logique.pdf