Source: https://www.math.univ-paris13.fr/~halpern/teaching/L1_ISM/chapitre3.pdf