Merci, Otto, je vais faire ça… à la main, mais bon, c’est mieux que rien ^^
auraes: Merci ! En effet, c’est du boulot 
Merci pour le random, mais je l’avais déjà corrigé en fait ! La version 2 sortira peut-être avant la fin de l’année, j’ai trouvé une vingtaine de bugs en tout cas déjà 
Pour pygments, je sais pas, j’arrive pas à comprendre comment ça marche. Je crois qu’il utilise HtmlFormatter automatiquement si tu lui dis de faire un output en html. Et c’est pas automatique ; j’ai trouvé ça sur GitHub (gist.github.com/icholy/2945676/) qui a l’air de faire un truc comme ça, mais j’arrive pas à le faire reconnaître à pygments. (J’ai mis le fichier dans mon répertoire, et même dans Python/pygments/pygments/formatters, mais il reconnaît pas.) Si tu as une idée…