Eric Pouech : kernel32: In readline, now print control characters with ^ escape.