9 milliards d'euros pour le spatial français : est-ce justifié ?