correction d'un bug mineur, plus commentaire pour Benoit