Correction du nom de symbole lors de l'affichage de la reimplentation