une commande \diff pour comparer des textes