mine de lignite du puits Gérard ; actuellement atelier de réparation, magasins et entrepôts industriels - POP