Semi-conducteurs et puces : Texas Instruments reçoit 1,6 milliard de dollars d'aide