Quelqu'un a-t-il calculé ? Avec $RTX , la capitalisation boursière actuelle, multiplier par deux ou trois fois semble assez facile.