Mentions légales du service
It seems to behave quite differently from Alt-Ergo 2.0, so no idea if we want it for Why3 1.4.