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