espace de probabilité fini