Évaluer quelques mesures des arbres binaires (taille, encadrement de la hauteur, etc.)., Hauteur d'un arbre binaire