Source: https://perso.liris.cnrs.fr/amelie.cordier/wiki/lib/exe/fetch.php?media=ens:coursrapc.pdf