Santé du pipeline event-driven

Métriques live : combien de news traitées, quelles sources publient, latence Journaliste→Trader, et état des 42 marchés. Si quelque chose dérive, ça se voit ici.