arrondissement of Digne-les-Bains — arrondissement of France