J'avais oublié de dire que la publi journal suivante a été accepté : Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet and Michel de Rougemont. Probabilistic abstraction for model checking: An approach based on property testing. accepted to ACM TOCL. Voili voilo S.