Sur les genres Xenyllogastrura Denis, :1932 :+mille neuf cent trente-deux+ et Orogastrura N.G. — Louis Deharveng, Charles Gers