Dear Geoff: I was surprised to find that "martinet" is actually an eponym:

mar[ti[net 7m9rt#‘n et$, m9rt4‘n et#8
n.
5after Gen. Jean Martinet, 17th-c. Fr drillmaster6
1 a very strict military disciplinarian
2 any very strict disciplinarian or stickler for rigid regulations