Mentions légales du service
Conflicts: src/session/session.ml src/session/termcode.ml src/why3session/why3session_html.ml