Le dossier d'introduction en bourse de SpaceX révèle la rémunération de 7,5 billions de dollars de Musk liée à Mars