Source: http://lipn.univ-paris13.fr/~leroux/papers/thesis.pdf