M. Philippe CHOPIN, préfet des Pyrénées-Orientales, est nommé préfet du Puy-de-Dôme.