Category:DiffTools extensions/fr