Bonjour La méthode setTimeout de redis est dépréciée pour php-redis \>= 5.x et est obsolète pour les versions récentes Chez debian cela semble donc déprécié depuis php 7.0 au vu des versions associées pour les autres environnements il faudrait avoir au cas par cas.