Où trouver une fonte 9pt ?

* La classe de document 'amsart' disponible sur CTAN offre l'option 9pt. * De même les classes 'extarticle' et 'extreport' sont disponibles à http://www.informatik.uni-freiburg.de/~may/extsizes.html. * size9.clo de H. Steffani est disponible à http://www.tu-chemnitz.de/~hfst/size9.clo.