Mentions légales du service

Handle exception when file is not found

XIA Li-Yaorequested to merge
lixia/why3:sys-exception into master

Don't crash if a source file listed in why3session.xml no longer exists.

Merge request reports