\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.