Tir au gala de la presse à Washington : ce que l’on sait de l’attaque manquée contre Donald Trump