Device Independent : format des fichiers produits par T
E
X et ind
épendants du syst
ème.