catalogue knuth-local