A sua “casa artificial para formigas”, caro consulente, é, efectivamente um formigueiro. Artificial, mas formigueiro. O termo formigueiro designa não só uma grande quantidade de formigas como o buraco ou toca em que elas habitam, com as suas câmaras e túneis.
Não encontrei qualquer registo do outro termo que propõe, “formigário”.