Na Internet, o servidor que fornece o serviço de conversão de nomes de computadores para endereços IP é o chamado: