[ui] icones avec des traits plus epais (marcimat). pour le diff, on tente une...

[ui] icones avec des traits plus epais (marcimat). pour le diff, on tente une nouvelle metaphore, au lieu du +/- très geek (diff), on propose une variation de couleur dans le temps comme pour le filtre image (suivi de revisions)