5G à Vauban : où en sont les opérateurs ?