Execução de mandado – Manuel Gonçalves Ribeiro Lamas; Antônio de Castro Peixoto (1773)