La consola de Linux – Cambiar el charset de un fichero