Mentions légales du service
* doc/README.dev: update about the use in the MPFR manual (mpfr.texi). * doc/mpfr.texi: minor correction.