Valiente Pantoja, El. Comedia. See Moreto y Cavaria, A.
Known also by the title "Las travesuras de Pantoja."