type arbre = N of arbre * arbre | F of int ;; let a = N(N(F 2,F 9),F 5) ;; let rec etiquette_maximale = function | F x -> x | N(g,d) -> max (etiquette_maximale g) (etiquette_maximale d) ;; let rec profondeur_minimale = function | F _ -> 0 | N(g,d) -> 1 + min (profondeur_minimale g) (profondeur_minimale d) ;;