Mentions légales du service
The change done in 52138701 wasn't working when the latest commit wasn't on "doc/mpfr.texi".