Era don José Zorrilla, «el que mató a don Pedro y el que salvó a don Juan»...