Ora, figurando a procedência da acção e portanto a concluindo que a CES descontada na pensão paga pela CGA ao A. é um valor coberto pelo contrato outorgado entre a NAV Portugal EPE e o Sindicato dos Controladores de Tráfego Aéreo, que deve ser garantido ao A., a título de prestação complementar de pensão, pelo fundo de pensões por elas instituído, é ao referido fundo, à custa do respectivo património, e não à R., que cabe realizar o pagamento pretendido pelo demandante – cf.