\label{fig:TLEP80} A possible implementation of the 80~km tunnel (dashed circle) that would host TLEP and the VHE-LHC in the Geneva area, taken from Ref.~\cite{cite:Osborne}. The 100~km version (full line) is currently under study. 