El viejo topo: «El libro perdido que Machado dedicó a Leonor