Le budget de la Défense va bénéficier de la vente de fréquences de la TNT aux opérateurs télécoms