New taxa: Notoxus globicollis n. sp., Endomia robinsoni n. sp., Sapintus milloti n. sp., Sapintus discidens n. sp., Sapintus lenis n. sp., Sapintus mediodilatatus n. sp., Sapintus acuminatus n. sp., Sapintus colasi n. sp., Sapintus pauliani n. sp., Pseudoleptaleus maculatus n. sp., Pseudoleptaleus caligans n. sp., Pseudoleptaleus pauliani n. sp., Cordicomus pauliani n. sp., Stricticomus pulvinatus n. sp., Formicomus coquereli n. sp., Formicomus armiger n. sp., Formicomus vadoni n. sp., Formicomus bothripes n. sp., Formicomus verrucus n. sp., Formicomus anceps n. sp., Formicomus canosus n. sp., Formicomus geayi n. sp.