Source: https://www.rocq.inria.fr/axis/modulad/archives/numero-31/desbois-31/desbois-31.pdf