Patron 19mm / HRD

Knuth