Source: http://projet.eu.org/pedago/sin/STI/1ere/6-logique_combinatoire_exos_corr.pdf