Contenu de ce dossier
---------------------

coq : les sources Coq de la théorie de la mesure, des probas, et de toutes
les démonstrations.

pcaml : les sources de l'interpréteur Proba Caml.

pi : les sources du transformateur PI.

tex : le rapport et ses sources TeX.

diapos.* : le diaporama de la soutenance.

Cf. tex/rapport.dvi|ps|pdf pour plus d'informations.