Brèves Ohio (États-Unis) : 9 morts dans une nouvelle fusillade. Le tireur était un militant de gauche anti-Trump 5 août 2019
