Mentions légales du service
Ensure that the gappa printer does not redefine symbols that were already defined (explicitly or not).