Astenus procerus (Gravenhorst, 1806) (Figs. 1–24)

Paederus procerus Gravenhorst, 1806: 141

Astenus rufopacus Reitter, 1909: 150 syn. n.

Astenus circumflexus circumflexus Jarrige, 1952: 125 syn. n. (Figs. 28–30)

Astenus circumflexus scutellaris Coiffait, 1971: 184 syn. n. (Figs. 25–27)

Astenus obliquus Jarrige, 1952: 126 syn. n.

Astenus baali Coiffait, 1960: 94 syn. n. (Figs. 31–41)