Makefile et _CoqProject globaux

• 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

added 84 commits

• abac9301...8ff852b4 - 83 commits from branch master
• 75e30695 - Makefile et _CoqProject globaux

Compare with previous version

added 1 commit

• e00d0eb7 - Makefile et _CoqProject globaux

Compare with previous version

mentioned in commit 6bae697e

merged