dociostaurus nom masculin Très petit criquet d'Afrique du Nord et d'Europe du Sud, peu migrateur mais très nuisible.