MikteX est un éditeur Latex comportant un gestionnaire de package. Ce gestionnaire permet de mettre à jour/installer des packages dans cet éditeur.
Afin d'utiliser ce gestionnaire, il est nécessaire de configurer l'usage du proxy. Cette configuration est à réaliser comme suit:
Dans le menu “démarrer” windows, sélectionne “tous les programmes” > MikteX > Maintenance > Update
Cliquez sur “Connection Settings …”
Entrez:
proxy-rech port 3128 pour une machine du personnel
proxy-enseig port 3128 pour une machine enseignement
Sélectionnez les packages à ajouter