nome masculino oficial, chamado Divisão geral hoje, imediatamente abaixo do grau e funções de tenente-general