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