Patron 13mm / HRD

Knuth