M. Christophe Mirmand, administrateur civil hors classe détaché en qualité de directeur général des services du conseil général des Hauts-de-Seine, est nommé préfet de la Haute-Loire.