Ensemble d'industrie extractive dit mine de houille de Laugerette, actuellement usine de construction mécanique - POP