Saint-Gaudens. Un village de mineurs à Marmignon