Mentions légales du service
these return the newly created symbol, saving us a pattern matching in let_defn.