Correction d'une erreur mineure