Qu'est-ce qu'un pilote DVI?

Un pilote DVI (DVI driver en anglais) est un programme qui prend en entrée un 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 .

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 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. 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 :

• les fichiers PK ;
• les fichiers TFM ;
• les fontes virtuelles ;
• l'utilisation des fontes PostScript avec TeX.

Sources :

• What is a DVI driver?
• TEX DVI Driver Family Status, Nelson H.F. Beebe, 1989.