• DECLARE_PAIR_SPECIALIZATION : random.hh
• SELECT : selectors.hh
• SELECT2 : selectors.hh
• SELECT3 : selectors.hh
• SELECT4 : selectors.hh
• SELECTOR : selectors.hh
• SELECTOR2 : selectors.hh
• SELECTOR3 : selectors.hh
• SELECTOR4 : selectors.hh
• VAUCANSON : system.hh