Enchères 5G : 2,786 milliards d'euros, l'addition n'est finalement pas si salée pour les opérateurs mobiles