Ville française, pré­fec­ture du départe­ment du Haut-Rhin.