Emarginula elata Michaud, 1877 † accepted as Emarginula fissura (Linnaeus, 1758) (source of synonymy)
Emarginula giraudi Michaud, 1877 † accepted as Emarginula fissura (Linnaeus, 1758) (source of synonymy)
Planorbis affinis Michaud, 1862 † accepted as Planorbarius thiollieri (Michaud, 1855) † (additional source)
Platyla conica (Michaud, 1862) † (basis of record)
Pupa gibbosa Michaud, 1838 † accepted as Ischurostoma arnoudii (Michaud, 1837) † (source of synonymy)
Triptychia terverii (Michaud, 1855) † (basis of record)
Valvata marginata Michaud, 1855 † (additional source)
Valvata piscinaloides Michaud, 1855 † (additional source)
Vertigo dupuyi Michaud, 1855 † accepted as Gastrocopta (Albinula) acuminata (Klein, 1846) † represented as Gastrocopta acuminata (Klein, 1846) † (source of synonymy)

Holotype ML MHNL 20293578, identified as Acme conica Michaud, 1862
Syntype ML MHNL 20293586, identified as Planorbis affinis Michaud, 1862

 Type material

 for Clausilia terverii Michaud, 1855 †

Truc (1972) did not designate a lectotype for this species. A label “lectotype / paralectotypes” by Schnabel ... [details]

 Type material

 for Pupa gibbosa Michaud, 1838 †

Types not found, probably lost [details]