discontacteur (N) — contacteur (N)
discontacteur : Disjoncteur contacteur.