Source: http://leroy.cpge.free.fr/pdf/bcpst10/Espaces probabilises finis.pdf