Le programme est en ligne de commande, pour le lancer depuis un terminal,
se placer dans le répertoire et faire ./main.native, si cela ne fonctionne pas il
faut le recompiler ( un simple "make" ou "ocamlbuild main.native" devrait suffire).
Le manuel d'utilisation est à la fin du rapport, l'exemple de la contraposition se trouve
dans le fichier contr.proof, il peut être directement chargé avec "\load contr.proof;;"
