Auto de corpo de delito
Em 18 de outubro de 1972, a Polícia Judiciária remeteu à Direção-Geral de Segurança uma "Ocorrência" respeitante à morte de José António Leitão Ribeiro Santos, o relatório da respetiva autópsia e uma embalagem com um projéctil encontrado no seu cadáver. Na mesma data, Silva Pais, diretor-geral de Segurança, mandou abrir um auto de corpo de delito