Installation package MiKteX

Ouvrez MiKTeX Package Manager, en mode administrateur si vous voulez que tout utilisateur de votre ordinateur puisse utiliser ces extensions. M.P.M. va dresser la liste des extensions disponibles, leurs dates d'installation pour celles qui sont installées. Cela peut prendre un certain temps (1-2 min). Sélectionnez le cas échéant un dépôt.

Ctrl + clic gauche sur les extensions qui vous intéressent permet d'en sélectionner plusieurs. Un clic droit sur la sélection, et choisir installer.

Si vous installez des polices postscript, il est assez fréquent qu'elles ne soient pas utilisables tout de suite : il faut lancer updmap (en ligne de commande) pour rafraîchir le fichier psfonts.map et ses amis (c'est une base de données des polices postscript).

C'est tout. J'espère avoir été à peu près clair.