Saint-Dié-des-Vosges : la restauration de l'orgue de cathédrale est terminée