Installation minted et pygments

[F. Pantigny]

Pour information, si l'installation de minted est difficile, vous pouvez essayer d'utiliser l'extension piton. Cette extension formate du code Python et donne exactement le même résultat que minted avec le style manni de Pygments. La seule restriction est que la compilation doit être faite avec LuaLaTeX. Aucun programme extérieur n'est utilisé et --shell-escape n'est donc pas nécessaire.