Attacker shot dead after killing 4 policemen at police headquarters across the street from Notre Dame.
