Recherche du minimum dans un ABR

Par la propriété d'ordre, la plus petite valeur se trouve tout en bas à gauche : on suit les liens gauches jusqu'au bout.

def minimum_abr(arbre):
    noeud = arbre
    while noeud.gauche is not None:
        noeud = noeud.gauche
    return noeud.valeur

On ne suit qu'un seul chemin de la racine vers une feuille : le coût est $O(h)$, soit $O(\log n)$ pour un arbre équilibré.