Texas Instruments gère une dette nette de 8,86 milliards de dollars avec une forte couverture