Mentions légales du service
Freeze the most generic development, which cannot be finished in why3 yet.