M. Michel Gaudin, préfet détaché directeur général de la police nationale, est nommé préfet de police de Paris (hors classe).