5G : les premières enchères rapportent 2,786 milliards d'euros à l'État