outils de merge de fichiers : excellent et open source.
indispensable à tout développeur sous windows
remplace la fonction copier de windows