As Festas da Cidade de Évora, em 1706. See original record