Mentions légales du service
This removes two eta-redexes. The speed difference is barely measurable, maybe 0-5%.