Mentions légales du service
Remove obsolete texinfo documentation as suggested by @fpruvost in !83 (merged)
merged
mentioned in commit 41849647