dernieres modification a la fusion de la table des symboles