Patron 17mm / HRD

Knuth