Restauration extérieure de l’ancien Marché d’Arvida devenu la Bibliothèque d’Arvida