Martinet

Webster's Dictionary of the English Language

·noun The Martin.

II. Martinet ·noun In military language, a strict disciplinarian; in general, one who lays stress on a rigid adherence to the details of discipline, or to forms and fixed methods.