Votre mot de passe est interessant.

./158 Bah justement, PrettyPrint ne fait pas de PNG lorsqu'il y a des animations. Je suis obligé d'utiliser du GIF car les autres formats ne fonctionnent pas dans tous les navigateurs (et je n'ai pas envie de faire comme avec le PNG et la transparence (oui, PrettyPrint retourne un GIF sous IE <= 6 ) )