Après Nvidia, Microsoft franchit les 4 000 milliards de dollars de capitalisation boursière