EN DIRECT - Notre Dame de Paris: Un policier fait feu après avoir été agressé par un homme à coups de marteau