Execução de sentença – Antônio Afonso; Francisco Antônio Xavier (1800)