Source: https://www.cmap.polytechnique.fr/~bansaye/CoursTD8.pdf