Source: https://theses.hal.science/tel-01140877/preview/2014LIL2.pdf