Machilinus Silvestri, 1905
Machilinus rupestris gallicus Bitsch, 1968
Machilinus rupestris subsp. rupestris (Lucas, 1846)