Mentions légales du service
a parameterized symbol, make sure that the arguments refer to well-defined symbols.