En effet ce sont des antennes GNSS, qui sont utilisées pour synchroniser un oscillateur local.
C'est avec cet oscillateur que les différentes fréquences d'émission sont fabriquées,
cela doit être très juste et stable sinon le signal se balade.
Il y a aussi parfois des références au rubidium ce qui permet de se passer de GPS,
mais ça consomme pas mal, c'est cher, et ça s'use et accessoirement c'est radioactif !