Source: https://www.irif.fr/~carton/Enseignement/Complexite/ENS/Redaction/2008-2009/gabriel.scherer.pdf