GLen, camomille et miel<p>Si vous avez des infos sur "comment utiliser des caractères non-ASCII dans un environnement <code>verbatim</code> en (|La|Xe)TeX dans un beamer", je prends ! Je suis actuellement en train de m'arracher les cheveux dessus.<br>Plus précisément, je dois présenter, dans un beamer, du code Lean4 (donc présentant des caractères pas ASCII, genre des lettres grecques , des flèches, <code>∀</code>,<code>∧</code>, …). Pour l'instant : j'utilise <a href="https://toot.beep.computer/tags/XeTeX" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>XeTeX</span></a>, le package <code>verbatim</code> et j'arrive pas à définir la font à utiliser. <br>:boost_requested: <br>P.S.: j'utilise pas <code>listings</code> parce que la syntaxe Lean4 est pas définie et que ça a l'air de casser beamer.</p>