Tá precisando estudar mais, há várias especulações sobre a origem do nome do país e essa aí é a mais em desuso. Brasili/brazil já era um nome no imaginário europeu de uma terra ao oeste abençoada sem invernos rigorosos. Já havia uma árvore semelhante no oriente e que era comercializada com o mesmo fim: tingir roupas de vermelho; antes mesmo de descobrirem o "pau-brasil" na mata atlântica. Então quando encontraram essa árvore semelhante aqui (que já era nomeada pelos nativos referindo a cor vermelha) deram esse nome que já era bem difundido na Espanha, mas não deram o nome do país por conta da árvore isso é besteira. Enfim a palavra Brasil já era conhecida há muito tempo na Europa e a etimologia é mais vasta que isso