J'ai installé MacTeX 2023, et je constate que ce n'est plus la même police qu'avant ; plus de gras, plus de petites capitales.
Quelqu'un aurait-il une explication ? Une solution pour retrouver la police d'avant, dont je ne connais pas le nom...
Merci d'avance !
OUPS, désolé, c'est résolu !
Il y avait un
\usepackage{times} qui traînait dans le document que je devais mettre en page... 
