France: le préfet de police de Paris Didier Lallement quitte ses fonctions