Source: https://www.imo.universite-paris-saclay.fr/~bernard.helffer/cours12-13S3.pdf