Ticket #4585 : En PHP il n’y a pas de cast automatique sur les divisions, ce qui provoque une une erreur en utilisant |image_reduire{130,*}
(à la place de |image_reduire{130,0}). Comme on est gentil avec '*', on met un cast sur les paramètres des fonctions image_reduire.
Cependant, comme on tolère encore PHP 5.6, on ne peut pas les mettre directement dans la déclaration des paramètres.