IRIS² : la constellation européenne qui valait 10,6 milliards d'euros