Mentions légales du service
Ocaml extraction: use precedences in patterns Closes #331 See merge request why3/why3!160