Mini-modification: TreeNode travaille avec Symbols aussi.