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