Electric circuit-breakers