Tree.java: methodes de recherche