Définition d'une probabilité sur un ensemble fini