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