Correction d'une erreur dans la doc.