correction d'un bug mineur.