Arquivos atualizados

Chamada dos postulados adicionada aos arquivos de protocolo, em vez do
oposto.