Eran los jugadores mineros de ejercicio, y sabido es que no hay gente más dada a la fea pasión del juego que la que emplea su tiempo y trabajo en arrancar tesoros de las entrañas de la tierra.