class ABR:
    """un arbre binaire de recherche"""
    def __init__(self):
        self.racine = None

    def ajouter(self, x):
        self.racine = ajoute(x, self.racine)

    def contient(self, x):
        return appartient(x, self.racine)