O desenvolvimento da atividade especial de mergulho na Força Terrestre e a importância da Escola de Mergulho do Exército Brasileiro