this code is for encoding the tex files (Character encoding) writen in python ! ;)