Correction d'une faute introduite par bcf8e3cea9.