Mentions légales du service
printer : print_prelude inside printers instead of prover.ml. Required for smt which has its own prelude.