Correction de la commande kill pour Redis + ajout de commentaires