M. Denis Robin, administrateur civil hors classe détaché en qualité de directeur des ressources humaines au secrétariat général pour l'administration de la préfecture de police, est nommé préfet de Mayotte.