Source: http://www.math.univ-paris13.fr/~halpern/teaching/MACS1_2010/feuille7.pdf