Source: https://tel.archives-ouvertes.fr/file/index/docid/550144/filename/Joel_Hascoet_2010_These_vol_III.pdf