Redis — qu'est-ce que c'est comme système, pourquoi est-il utilisé dans le projet?