Mentions légales du service
the new system of uninstalled prover policies Also updated roadmap: explicitate the \todo of the doc