Bonjour à tous,
J'utilise l'extension minted pour la coloration syntaxique de mon code.
Je suis confronté à ce problème : dans la documentation de minted (p.25), les familles de polices prédéfinies sont tt, courier, helvetica.
Existe-t-il un moyen de choisir d'autres familles de polices ? J'ai cherché dans minted.sty sans succès !
Par exemple le texte avec une police kpfonts, et le code avec bera. L'extension listings est plus flexible dans ce point, mais je préfère minted.
L'option fontfamily=fvm permet de sélectionner du Bera Mono (le nom de la famille est disponible dans le document http://mirrors.ctan.org/fonts/bera/bera.pdf dans le tableau au bas de la page).
En donnant le nom de la famille de police dans la classification NFSS, il est inutile de charger le package bera.
Dernier point, votre première ligne était erronée, j'ai remplacé la parenthèse fermante de \documentclass[a4paper,12pt){article} par le crochet fermant : \documentclass[a4paper,12pt]{article} (voir juste avant {article}).
Professeurs de mathématiques dans le secondaire, connaissez-vous le package ProfCollege de Christophe Poulain ? Il est aussi utile que bien documenté !
