Revisión formal del T-MEC