Qual a história e origem do sobrenome e família "Antas,rs"?

A origem da família Antas é incerta, mas acredita-se que ela seja originária da Espanha, mais especificamente da região de Antas de Ulla, na Província de Lugo, Galiza. No entanto, há registros de Antas em Portugal e Brasil também. Não se sabe ao certo quando os primeiros membros da família Antas chegaram ao Brasil, mas seu nome aparece em registros históricos desde o século XVII. Na época, alguns membros da família foram chamados para combater os invasores holandeses. Durante os séculos XVIII e XIX, a família Antas prosperou como comerciantes e proprietários de terras em várias partes do Brasil. Eles também tiveram uma forte presença na política e na vida social do país. Hoje, a família Antas ainda possui membros que se destacam em áreas como a medicina e o empreendedorismo.