Mentions légales du service
Once fpottier/menhir#7 (closed) is added we should be able to dynlink the Why3 library.