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