Comment modifier la police du mode verbatim?

$\Reponse$ https://www.ctan.org/macros/latex/required/tools/ permet de faire cela. Il est alors conseillé d'utiliser des fontes aux normes T1.

$\Reponse$ L'environnement verbatimcmd du package moreverb, disponible sur https://www.ctan.org/macros/latex/contrib/misc/ permet de garder les caractères « contre-oblique » (\) et les accolades ({, et }) actifs. On peut donc entre autres opérer des changements de police.

$\Reponse$ Pour changer la taille de la police du mode verbatim, il faut l'encapsuler dans des commandes de modification de taille.

Exemple~:

Texte avant.
 
\begin{small}
\begin{verbatim}
   Texte...
\end{verbatim}
\end{small}
 
Texte après.