Do juízo contencioso

A execução não pode ter lugar antes de haver decreto executório do juiz, pelo qual se determine que a sentença deve ser executada; este decreto, segundo a natureza das causas, inclua-se no próprio texto da sentença, ou publique--se separadamente.