Source: https://lim.univ-reunion.fr/staff/fred/Enseignement/LogiqueL2/TDs/exos-LPO.pdf