Class Mammalia Linnaeus, 1758 - mammals †"Symmetrodontans" Simpson, 1925, incertae sedis see Infraclass Symmetrodonta Simpson, 1925 Genus †Microderson Sigogneau-Russell, 1991 [monotypic] †Microderson laaroussii Sigogneau-Russell, 1991