Un Modèle stochastique pour la vérification… · Super Livre