Unknown Music used in CNN ident from 1989 and also a Canal+ Brasil ident too

[YoshiGaming2008]

Hi there! I've tried asking a server about this before but never got an answer unfortunately, so now I'm attempting to ask this forum!

I wanna know where the music used in the CNN 1989 ident and a Canal+ Brasil ident comes from. They both use the same music. Here's the CNN one: https://www.youtube.com/watch?v=ZbHugCDkhC8&pp=ygUOY25uIGlkZW50IDE5ODk%3D

and here's the Canal+ Brasil one: https://youtube.com/clip/UgkxnIE1a_BNwmxDQelyFh38yBCho0Y_sjb4

I assumed the music used in both of these was stock knowing the fact both sources use the same music and it feels like stock. If anyone knows the music, please let me know!