Remove non ascii char

Some non ascii characters were present in the source files, this leads to different file representation depending on editor and encoding.

Remove them with the corresponding ascii characters.