Mentions légales du service

Skip to content
New GNU MPFR 4.0.0 tag (replaced with svnmucc).

[[Split portion of a mixed commit.]]

[From SVN r12058]