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