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