Mentions légales du service
The patch just add to pdriver.ml a prelude_printer that prints nothing.
prelude_printer