ajout de la compilation vers caml, encore très désordonné
ajout structures naïves prouveur_caml, début compilation vers coq, réorganisation prouveur_trees