Antenne de positionnement GPS BDS haute précision, mesure externe multi-fréquence, antenne à tête de champignon