[Topographie] GPS : Précision verticale versus précision horizontale