Proformica cerdanyensis Galkowski et al., 2022: 39, figs. 6-12 (s.w.q.m.) FRANCE. Palearctic.

Primary type information: Primary type material: holotype major worker. Primary type locality: France: Pyrénées Orientales, Cerdagne, Dorres, 42.4789°N, 1.92798°E, 1615 m., 28.vi.2008, and vii.2011 (C. Galkowski & C. Lebas). Primary type depository: MNHW. Secondary type information: Secondary type material: 5 paratype workers. Secondary type locality: same as for holotype. Secondary type depository: MNHW. Type notes: Different parts of the type data are on pp. 27 and 39; the authors do not specify the collection date of the type series.