Correction d'un high bug survenant pour php < 5.4