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_fichier_dvi [2021/05/24 18:18] – 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 | Autre élément manquant dans le fichier DVI: tout ce qui a été introduit | ||
- | par [[5_fichiers: | + | par [[5_fichiers: |
(qui sont généralement une façon de contourner volontairement le pilote DVI, | (qui sont généralement une façon de contourner volontairement le pilote DVI, | ||
pour s' | pour s' | ||
Ligne 132: | Ligne 132: | ||
* [[wpfr> | * [[wpfr> | ||
* [[http:// | * [[http:// | ||
+ | * [[https:// | ||
* [[https:// | * [[https:// | ||