Processo respeitante a Pedro Feytor Pinto, Diretor dos Serviços de Informação See original record