9 milliards d'euros pour le secteur spatial