Correction des nodes à la racine et test sur la création des formule supplémentaire