Mentions légales du service
You may likely want to make this change conditional on Coq's version, but it is out of my autoconf skills.