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