Bug dans l'affichage d'une erreur d'opérateur