Mentions légales du service
Need to compile Alt-Ergo with Nums instead of Zarith, which is not supported by js_of_ocaml