Place des Tisserands, marché couvert, Sainte-Marie-aux-Mines