Redis n'est pas persistant — que se passe-t-il s'il redémarre ? Perdrons-nous les notifications ?