ajustement de la colorisation de syntaxe pour les commandes bash jusqu'ici