Hallo Jakob,
nach Deiner Grössenbeschreibung und nach den Bildern , können es keine Camponotus lateralis sein. Die sind ziemlich klein und haben einen rötlichen Kopf und sind ansosten glänzend schwarz.
Es müssten sich bei den Tieren um Camponotus cruentatus handeln.Ihr Verbreitungsgebiet ist Südfrankreich und Spanien.
Gruss Harry
