Long-lived heavy neutral leptons at lepton colliders as a probe of left-right-symmetric models | Synapse