Alfred von Campe a écrit : > > To be honest, I don't even know how to create those characters on the > command line on Linux (I am writing this on a Mac where I know how to > generate characters using the option key). I vaguely remember Mac uses UTF-16 as default encoding. This could be the source of your problem.