arrondissement of Saint-Dié-des-Vosges — arrondissement of France