Mentions légales du service
This allows why3doc to generate anchors for operator definitions, including "(*)".