Văn bản này: La representación teatral de la campaña de Orán de 1732