Bâtiments appartenant à la Ville de Digne-les-Bains.