casa de finca, antigua mina de diógenes