J'ai gardé TreeNode et Tree comme ils sont pour le moment.
Du coup on aura besoin de "dumper" nos arbres en CNF dans un fichier et
puis les passer à TrainSetReader pour les transformer de CNF en format
originel. Pas très propre, mais bon.