Formal....java utilise RBinaryTree