- Ajout des fichiers Makefile et _CoqProject à la racine.
- Suppression des Makefile et _CoqProject des sous-répertoires.
- Ajout des dépendances dans le README.md
- Ajout de spécificateurs 'From ... Require' pour lever les ambigüités
  en cas de différents R_compl ou logic_compl
- renommage de measurable_fun-new.v en measurable_fun_new.v