
Et du coup, je me demande ce qu'il en est du genre Estenorhinus... Est-il toujours d'actualité ou bien a-t-il été absorbé par le genre Arrenodes (Arrhenodes n'étant apparemment pas valide...), ou bien encore le contraire

Merci d'avance pour vos lumières
