Knuth , Jansen ,fr.