Correction d'une imperfection dans la doc