En verano, todos los mineros salían así a las puertas de las casas.