Camponotus herculeanus

Точно, спасибо.

Род Муравьи-древоточцы - Camponotus - имеет всемирное распространение по всем зоогеографическим областям мира. Характерны для лесов, но встречаются и в пустынях.

Всего род Camponotus объединяет около 1000 видов. К этому роду относится один из крупнейших в мире муравьев Camponotus gigas (Latreille, 1802), достигающий 3 см в длину.

Связан преимущественно с хвойными лесами. Дендробионт, гнезда, как правило, устраивает в стволах живых деревьев, выгрызая ходы и камеры.

В общем, приятные твари. Численность семьи не очень большая - не косые сотни тысяч. как у формики. а обозримые сотни. Единиц. твари неспешные. невредящие.