Où trouver une fonte 9pt?
La classe de document amsart disponible sur https://www.ctan.org/
(cf.~\vref{question=AmSLaTeX}) offre l'option
[9pt]
.
De même les classes extarticle et extreport sont
disponibles sur https://www.ctan.org/macros/latex/contrib/extsizes .
size9.clo
de \nom{James}{Kilfiger} est disponible à
https://www.ctan.org/macros/latex/contrib/extsizes .