Différences

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

--- 5_fichiers:dvi:qu_est_qu_un_fichier_dvi [2021/05/24 18:25] – Ajout d'une source. jejust
+++ 5_fichiers:dvi:qu_est_qu_un_fichier_dvi [2022/09/23 16:44] (Version actuelle) – Suppression d'espace inutile dbitouze
@@ Ligne 46: / Ligne 46: @@
 Autre élément manquant dans le fichier DVI: tout ce qui a été introduit
-par [[5_fichiers:postscript:commandes_special|des commandes ]]''\special''
+par [[5_fichiers:postscript:commandes_special|des commandes]]''\special''
 (qui sont généralement une façon de contourner volontairement le pilote DVI,
 pour s'adresser directement au pilote PostScript depuis le document TeX;