Mentions légales du service
Switch to ppx_deriving 5.0 and ppxlib. Remove the dependency on ppx_tools. Contributed by @kit-ty-kate.