Source: https://www.paris.inria.fr/secret/Pascale.Charpin/editorial-17.pdf