Device Independent: format of les produced by TEX