Diese Art war um 5-7 mm. Ich glaube dass es ist eine Formica sp.

Hallo xespok!
Es fehlen natürlich weitere Angaben (z. B. Habitat, Fundort, Nestform, Höhelage etc.), aber ich glaube, man kann sagen: Sicher Formica sp., wahrscheinlich Formica s. str. sp.
Beste Grüße v. Boro

Auch boreomontan, wie C. herculeanus cf.

Boreomontan od. boreal-montan bedeutet die Gebirgsregionen der warm-gemäßigten Zone. Hier gibt es aber bei den von dir genannten 2 Arten gewisse Unterschiede:
a) Derzeit wissen wir nicht um welche Formica sp. es sich genau handelt. Da gibt es Arten, die kommen von den Niederungen bis ins Hochgebirge vor, wie etwa Formica (Formica s. str.) lugubris. Formica (Formica s. str.) aquilonia ist eine Gebirgsameise und kommt bis 2400m Höhe (!) vor (SEIFERT 2007. S- 315).
b) Camponotus herculeanus kommt in Deutschland bereits über 300m Höhe vor, Hauptverbreitungsgebiete sind aber die Misch- und Nadelwälder im Bergland. In Kärnten (Süd-Österr.)und den Südalpen (z. B. Julische Alpen, Grenzgebiet Italien/Slowenien) tritt sie scheinbar nur als Gebirgsameise (bis zur Waldgrenze) auf. Ich habe unter 800m NN hier noch kein einziges Nest dieser Art gesehen und bei dieser Höhe auch nur dann, wenn nahtlos höhere Gebirgsregionen anschließen.
Dein Habitatfoto von den Pyrenäen passt gut zu den deutlichen Habitat-Schwerpunkten zu Gebirgen in den süd-mitteleurop. und südeuropäischen Vorkommen.
Beste Grüße Boro