Source: https://math.univ-lyon1.fr/~pujo/analyse3.pdf