Mentions légales du service

fix proofs, including one failing with Coq 8.19

Merge request reports

Loading