Source: http://doxa.u-pec.fr/theses/th0215008-Partie1.pdf