[Tutti-commits] 06/09: ajout du highlighter sur la table des cps (refs #8013)