Codice di procedura civile per la colonia Eritrea.