Mentions légales du service
This transformation also substitutes using all the equalities of the form "f x... = t" with f an unrecognized symbol.