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

