Correction des erreurs, et mise à jour des fichiers test_huffman.adb, tp_huffman.adb