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