Source: https://hal.inria.fr/tel-00134670/PDF/theseVincentCridlig.pdf