Crustacés décapodes brachyoures de l'océan Indien occidental et de la mer Rouge : Xanthoidea : Xanthidae et Trapeziidae. Addendum : Carpiliidae et Menippidae