Arbres binaires

• Définir le type tree des arbres binaires avec une valeur à chaque noeud.
• Définir l'arbre suivant:
  
  $$\epsfig{file=arbre}$$
  
  

• Définir une fonction size qui calcule la taille d'un arbre. On appelle taille d'un arbre le nombre de ses noeuds (sans compter les feuilles).
• Définir une fonction height qui calcule la hauteur d'un arbre. On appelle hauteur d'un arbre la longueur maximale d'un chemin direct de la racine à un noeud quelconque.
• Définir une fonction max_tree qui calcule la plus grande valeur présente dans un arbre.