a small tool used for turning an Allen screw™
Definition of Allen wrench™ noun from the Oxford Advanced American Dictionary