Mentions légales du service
This turns Why3printer into a shallow wrapper around Pretty.
Why3printer
Pretty