Execução de mandado de preceito – José Carneiro de Miranda; Domingos Tomé da Costa (1761–1766)