Notes on the history of the old-Spanish comedy