Source: https://cas.mines-paristech.fr/~rouchon/PolyAuto2013.pdf