Delete table_des_symboles.h