Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédente | ||
5_fichiers:dvi:qu_est_qu_un_pilote_dvi [2021/03/10 14:15] – Traduction en français. Mots-clefs OpenGraph. Mise en forme. 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' | ====== Qu' | ||
+ | Un pilote [[5_fichiers: | ||
- | 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: | + | * à l' |
- | et produit (généralement) un fichier dans un autre format, | + | * à un traitement ultérieur (du PostScript encapsulé ou du [[http:// |
- | qui pourra être traité par un programme extérieur à l' | + | |
- | + | ||
- | Un pilote peut être conçu pour produire une sortie destinée | + | |
- | * à l' | + | |
- | * à un traitement ultérieur (du PostScript encapsulé ou du PNG, par exemple pour inclusion dans un autre document), | + | |
* ou à l' | * ou à l' | ||
- | Outre le fichier DVI, le pilote a généralement besoin d' | + | Outre le fichier DVI, le pilote a généralement besoin d' |
- | 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' | + | |
- | Chaque pilote attend les informations de police sous un format particulier. | + | |
- | + | ||
- | Pour plus d' | + | |
- | [[5_fichiers: | + | |
- | [[5_fichiers: | + | |
- | [[5_fichiers: | + | |
- | et [[5_fichiers/ | + | |
+ | Pour plus d' | ||
+ | * [[5_fichiers: | ||
+ | * [[5_fichiers: | ||
+ | * [[5_fichiers: | ||
+ | * [[5_fichiers/ | ||
----- | ----- | ||
- | // | + | //Sources :// |
* [[faquk> | * [[faquk> | ||
* [[https:// | * [[https:// |