coloration syntaxique dans l'historique