Mentions légales du service
New GNU MPFR 4.0.0 tag (replaced with svnmucc). [[Split portion of a mixed commit.]] [From SVN r12058]