Logo, o procedimento de inspecção que está na génese das liquidações redundou numa mera análise sobre correcção formal dos mapas que continham informação sobre o primeiro semestre de 2007, constantes nos ficheiros da folha EXCELL, e a sua coerência com a declaração apresentada pela impugnante, não podendo, destarte, ser apodado de externo.  . Por outro lado, se se entendesse que a IT deveria ter recorrido a um expediente de cariz externo, assistir-se-ia a uma grosseira violação do princípio da proporcionalidade .