ajout de l'extension ashighlight