Espace probabilisé fini