Officer shot dead in Paris, police say

The assailant was killed but has not been publicly identified, police said.