L'introduction en bourse de SpaceX lève 85,7 milliards de dollars