isWellFormed pour le TreeNode + tests