Mentions légales du service
cherry-pick from andrei's commit Conflicts: src/util/stdlib.ml src/util/stdlib.mli