*85. Corydalis hallaisanensis H. Lév. Repert. Spec. Nov.
Regni Veg. 10: 349, 1912.
Isotype: In silvis Hallaisan, 1500 m, 17 V 1907, N 1766, U. Faurie .