Mentions légales du service
Add negative test cases where a warning should be issued (and the generated code is rejected by OCaml).