Source: https://www.ljll.math.upmc.fr/~nardoni/TDagrl3/controle1cor.pdf