Source: https://www.math.u-psud.fr/~helffer/coursS4edp07.pdf