GE Vernova cède son activité Proficy à TPG