[Python-Dev] Source encoding doubt