Device Independent : format des chiers produits par TEX et indépendants du système.