correction d'une erreur de MAITRE