A técnica de auditoria utilizada na obtenção de declaração formal e independente de pessoas não ligadas à entidade auditada denomina-se: