Mentions légales du service
Readd the functionnality of smoke detector in why3 replay. Removed in commit 57de2a14