Je voudrais changer la taille du texte pour une partie de la page, par ex. pour le bloc verbatim:Comment changer la taille de la police sur une partie de la page dans LaTeX?
\begin{verbatim}
<how to set font size here to 10 px ? />
\end{verbatim}
Cordialement
@ hlin117: questions plus de 60 jours ne peut pas être migré – jwaliszko
'px' →' pt', peut-être? –