Source: https://theses.hal.science/tel-02242460/file/mathese.pdf