Jensen devrait rester PDG jusqu'en 2053 (quand il aurait environ 90 ans) pour rattraper Buffett…