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