L'agence spatiale européenne adopte un budget de 17 milliards d'euros, en forte hausse