También creo que son Formica pratensis, la mancha oscura en el mesosoma se ve muy bien delimitada con respecto al rojo, cosa que no pasa con la que se podría confundir, la F. lugubris.
. "La Naturaleza no sólo es más compleja de lo que imaginamos,
sino más compleja de lo que nunca podremos llegar a imaginar"
_________________