c'est lié au codage d'Huffman. partant d'un tableau de fréquence de lettres (0), 
on construit empyriquement l'arbre binaire du code correspondant (1) et il faut 
montrer que le code ainsi créé est optimal (2), et j'y arrive pas. j'ai plein de 
façon de montrer qu'un code est pas optimal, des idées de modifications d'arbre 
qui conservent ou perdent l'optimalité, mais je réussis pas à trouver un critère 
d'optimalité vérifié par cet arbre!!!

0: exemple avec l'alphabet {a b c d e f}: a 45 -- b 13 -- c 12 -- d 16 -- e 9 -- f 5

1: partant de plein d'arbres-feuilles seuls affectés des fréquences, prendre à 
chaque fois les 2 arbres de fréquence minimale, et en faire un arbre de 
fréquence somme, ce tant qu'il reste des lettres: résultat pour l'exemple: 
-------------
|           |
a     ------------
      |          |
     ---     ------
     | |     |    |
     b c    ---   d
            | |
            e f


2: minimisant la taille moyenne d'une lettre, cad la somme des produits 
"fréquence de la lettre * nombre de bits sur laquelle on la code. dans l'arbre, 
le nombre de bits, c'est la profondeur de la lettre.
a 0
b 100
c 101
d 111
e 1100
f 1101