utilisation de Term.toString