Source: https://perso.liris.cnrs.fr/ecoquery/dokuwiki/lib/exe/fetch.php?media=enseignement:logique:liflc-2017a-td2-correction.pdf