Polices de caractères pour l'école
Retour vers PragmaTICE

Depuis la mise en ligne de Kitinstit, le successeur de KitEcole, cette page n'est plus actualisée.
Rendez-vous à l'accueil du site...

Informations pratiques > INSTALLER UNE POLICE

Installation sous Windows 3.1

  1. Groupe de programmes
  2. Panneau de configuration > Polices
  3. Cliquer sur “Ajouter”.
  4. Cocher la case “Copier les polices dans le répertoire Windows”.
  5. Choisir le lecteur qui contient les polices à copier.
  6. Parcourir la liste pour indiquer son répertoire (son dossier).
    Les polices apparaissent alors dans la fenêtre.
  7. Sélectionner une police (ou choisir “Toutes”) et valider....
    Maintenir la touche <Alt> enfoncée permet d'en sélectionner plusieurs.

Installation sous Windows 95 et +

  1. Démarrer > Paramètres > Panneau de configuration
  2. Doucle-cliquer sur "Polices".
  3. Menu Fichier > Installer la nouvelle police.
  4. Cocher la case “Copier les polices dans le répertoire Fonts”.
  5. Choisir le lecteur des polices à copier.
  6. Parcourir la liste pour indiquer son répertoire (son dossier)
    Les polices apparaissent alors dans la fenêtre.
  7. Sélectionner une police (ou choisir “Toutes”) et valider....
    Maintenir la touche <Alt> enfoncée permet d'en sélectionner plusieurs.

Sous Windows 95 et les versions postérieures, on peut également copier les polices (dont l'extension est "ttf") dans le dossier [Windows\Fonts]. A noter qu'il est parfois nécessaire d'ouvrir ce dossier pour que les polices copiées soient reconnues.

Installation à l'aide d'un logiciel

Patience, ça tourne... ;o)

Comment décompresser un fichier ?

Les fichiers sont couramment compressés sur Internet, de façon à :

Un utilitaire de compression/décompression doit être installé sur l'ordinateur. Power Archiver est un logiciel gratuit (version 6) et très efficace :

1- Télécharger Power Archiver

2- Installer Power Archiver

3- Décompresser un fichier compressé (appelé archive)

On peut procéder de différentes manières. En voici une :

  1. Cliquer avec le bouton droit de la souris sur le fichier à décompressé.
  2. Cliquer (bouton gauche) sur "Extraire vers".
  3. Parcourir le disque dur pour choisir l'emplacement de destination des fichiers décompressés.
  4. Créer un nouveau dossier (bouton "dossier", saisir un nom et valider avec OK).
  5. Valider en cliquant sur le bouton "OK".