Cabidoche, 1964. Une race nouvelle de Trechus bordei Peyerimhoff. Revue Française d’Entomologie, 31 (2): 101-103.
Paratypes: Museu de Ciències Naturals (Zoologia) de Barcelona, MZB 78-0822 (“Pt. De Heyde, 550 m, Pont de Renne, Sainte-Engrâce, France“, 1 specimen) + MZB 78-0823 (“Pt. De Heyde, 900 m, Larrondoburu, Sainte-Engrâce, France“, 1 specimen)
Trechus (Trechus) bordei heylensis Cabidoche, 1964