Ensemble d'outils de démagnétiseur électrique pour la réparation de montres, démagnétiseur, démagnétiseur