La vida es sueño, de Pedro Calderón de la Barca