Différences

Ci-dessous, les différences entre deux révisions de la page.

--- 5_fichiers:dvi:qu_est_qu_un_pilote_dvi [2021/03/10 14:23] – Ajout d'un lien. jejust
+++ 5_fichiers:dvi:qu_est_qu_un_pilote_dvi [2022/08/20 09:38] (Version actuelle) – Correction de la mise en forme. yannick.tanguy
@@ Ligne 1: / Ligne 1: @@
 ====== Qu'est-ce qu'un pilote DVI? ======
+Un pilote [[5_fichiers:dvi:start|DVI]] (//DVI driver// en anglais) est un programme qui prend en entrée un [[5_fichiers:dvi:qu_est_qu_un_fichier_dvi|fichier DVI]] et produit (généralement) un fichier dans un autre format, qui pourra être traité par un programme extérieur à l'écosystème <latex>\TeX</latex>.
-Un pilote DVI (//DVI driver// en anglais) est un programme
+Un pilote peut être conçu pour produire une sortie destinée :
-qui prend en entrée un [[5_fichiers:dvi:qu_est_qu_un_fichier_dvi|fichier DVI]]
+  * à l'impression (du PostScript, par exemple) ;
-et produit (généralement) un fichier dans un autre format,
+  * à un traitement ultérieur (du PostScript encapsulé ou du [[http://savannah.nongnu.org/projects/dvipng/|PNG]], par exemple pour inclusion dans un autre document) ;
-qui pourra être traité par un programme extérieur à l'écosystème TeX.
-Un pilote peut être conçu pour produire une sortie destinée
-  * à l'impression (du PostScript, par exemple),
-  * à un traitement ultérieur (du PostScript encapsulé ou du [[http://savannah.nongnu.org/projects/dvipng/|PNG]], par exemple pour inclusion dans un autre document),
   * ou à l'échange de documents (du PDF, par exemple).
-Outre le fichier DVI, le pilote a généralement besoin d'informations sur les polices.
+Outre le fichier DVI, le pilote a généralement besoin d'informations sur les polices. Celles-ci peuvent être stockées sous forme de bitmaps ou de contours, ou simplement sous forme d'un ensemble de pointeurs vers les polices fournies par l'imprimante elle-même. Chaque pilote attend les informations de police sous un format particulier.
-Celles-ci peuvent être stockées sous forme de bitmaps ou de contours,
-ou simplement sous forme d'un ensemble de pointeurs vers les polices
-fournies par l'imprimante elle-même.
-Chaque pilote attend les informations de police sous un format particulier.
-Pour plus d'information sur les formats de polices, voir les pages concernant:
-[[5_fichiers:fontes:que_sont_les_fichiers_pk|fichiers PK]],
-[[5_fichiers:fontes:que_sont_les_fichiers_tfm|les fichiers TFM]],
-[[5_fichiers:fontes:que_sont_les_fontes_virtuelles|les fontes virtuelles]]
-et [[5_fichiers/fontes/utiliser_des_fontes_adobe_t1_avec_tex|l'utilisation des fontes PostScript avec TeX]].
+Pour plus d'information sur les formats de polices, voir les pages concernant :
+  * [[5_fichiers:fontes:que_sont_les_fichiers_pk|les fichiers PK]] ;
+  * [[5_fichiers:fontes:que_sont_les_fichiers_tfm|les fichiers TFM]] ;
+  * [[5_fichiers:fontes:que_sont_les_fontes_virtuelles|les fontes virtuelles]] ;
+  * [[5_fichiers/fontes/utiliser_des_fontes_adobe_t1_avec_tex|l'utilisation des fontes PostScript avec TeX]].
 -----
-//Sources://
+//Sources ://
   * [[faquk>FAQ-driver|What is a DVI driver?]]
   * [[https://tex.loria.fr/divers/dvistatus.pdf|TEX DVI Driver Family Status]], Nelson H.F. Beebe, 1989.