Corrige les bugs sur l'utilisation d'highlightjs