Correction d'une erreur de compilation