Source: https://www.lirmm.fr/arith18/img/montpellier-ou-dormir-327.pdf