LEP3: a high-luminosity e^+ e^− Higgs and electroweak factory in the LHC tunnel | Synapse