"Casa de directivos de la Mina, en Ramón Jiménez" y más...