Le budget annuel du CNES (agence spatiale française) est-il plus proche de 3 ou de 10 milliards d'euros ?