Patron 12mm / HRD

Knuth