Mentions légales du service

Adapt w.r.t. coq/coq#15327.

Pierre-Marie Pédrotrequested to merge
pedrot/itauto:split-tclfail-level into master

See https://github.com/coq/coq/pull/15327, don't merge yet.

Edited by Pierre-Marie Pédrot

Merge request reports