Source: https://perso.ens-lyon.fr/laurent.lefevre/articles/Laurent_Lefevre_20_ans_Inria.pdf