The principle of the pin-tumbler lock can be traced back historically to: