Source: http://perso.math.univ-toulouse.fr/ledoux/files/2021/06/Leçon-11.pdf