Trachysphaera ribauti (Condé & Demange, 1961)

Gervaisia ribauti Condé & Demange, 1961: 189

Distribution: Spain, Guipuzcoa, Basque district, Mondragón, Cueva de Mondragón and Cueva Galarra (Condé & Demange 1961, Mauriès 1972, Vicente 1980, Vicente & Mauriès 1980).