Notas a un problema de repertorios teatrales (Lope de Vega, Pinedo y el difunto Vergara)