Qu'est-ce qu'un surligneur et que doit-il mettre en évidence ?