Vérification des propriétés de probabilité : démonstration de l'application axiomatique par des cas spécifiques.