Source: https://who.rocq.inria.fr/Simon.Cruanes/enseignement/tp7_arbres_binaire_recherche.pdf