intégration de Redis pour la gestion des notifications
bugfix sur la deconnexion du à l'ajout des notifications, indentation
bugfix jeu de caractères sur le flux RSS
mise en place de l'architecture des notifications pastilles sur les applis
lecteur rss multiflux paramétrés dans la config
refactoring agrégateur rss : il tient compte du nb d'items qu'on lui paramètre