el famoso día de toros, MINA DIOGENES