Mentions légales du service
* why3config.ml (plugins_auto) if plug-ins dir is absent, do not attempt to add plug-ins