Gunman in Paris kills police officer