● auxiliaires nom masculin pluriel Troupes étrangères, dans l'armée romaine. À bord d'un navire, appareils nécessaires au fonctionnement des machines propulsives, à la sécurité et à la vie du bord (pompes, groupes électrogènes, guindeau, treuils de chargement, etc.).
Encyclopédie Universelle. 2012.