Mentions légales du service
in one shell : ledit bin/why3shell file.xml in another shell : tail -f why3shell.out