highlighter

“enlumineur” est

artisan qui fait métier d’enluminer.

“highlighter” est

nommer quelqu’un sur un canal IRC, pour qu’il reçoive un signal que l’on s’adresse à lui.