Mentions légales du service
because the standard library modules are required without a prefix in the Coq code generated by CFML.