Four dead in Paris police headquarters attack

An individual armed with a knife attacked officers inside police headquarters in Paris on Thursday and was shot dead, a police source told CNN.