Source: http://www.math.polytechnique.fr/xups/xups11-03.pdf