The dramatic art of Lope de Vega, together with La dama boba