"a machine to collide electrons and positrons at energies similar to that of the LHC (which however uses protons on protons)"