Correction d'un bug qui entraînait un classement sous-optimal du symbole @.