correction d'une erreur de compilation