On Thursday 12 July 2007 07:30, Michael Van Canneyt wrote: > Can you, BTW, explain the reference to Knuth ? I know who Donald > Knuth is, but fail to see the link... ? http://www.brainyquote.com/quotes/quotes/d/donaldknut181625.html Vinzent.