Source: https://theses.hal.science/docs/00/55/01/44/PDF/Joel_Hascoet_2010_These_vol_III.pdf