Script python pour faire un diff entre deux fichiers INI