Correction d'un bug due à d'ancienne version de PHP.