Comment utiliser le mode verbatim dans une note de bas de page?

En principe, le mode verbatim n'est pas accessible directement dans une note de bas de page, de même que dans n'importe quel argument de n'importe quelle commande. On peut d'abord penser à sélectionner la fonte utilisée par le mode verbatim avec \texttt{}, puis à faire le verbatim « à la main » en protégeant les caractères…

Mais heureusement, le package fancyvrb offre la commande \VerbatimFootnotes. Une fois cette commande utilisée dans le préambule, il est possible d'inclure du verbatim dans l'argument d'une commande.

Par exemple:

\documentclass{report}
\usepackage{fancyvrb}
\VerbatimFootnotes
\DefineShortVerb{\|}
% voir la doc de fancyvrb
 
\begin{document}
On peut l'inclure dans une note\footnote{On
peut directement  écrire |\verb| dans une 
note de bas de page},  sans avoir besoin de 
sauver le texte  avec  |\SaveVerb|  puis de
l'utiliser avec |\UseVerb|.
\end{document}