TVE is La1 and is in the list.
TVE is actually the network, not a channel.
"... the best programmes broadcasted by TVE on its domestic channels (La 1, La 2, 24H, CLAN TV and Teledeporte), plus specific slots strengthening the goals of TVE Internacional."