Depuis des années, le laboratoire Central des Ponts et Chaussées travaille sur l’application des systèmes de localisation par satellites en mode temps précis (RTK) à l’automatisation des machnies sur les chantiers routiers. Leurs performances sont encore insuffisantes pour permettre l’automatisation de certains engins pour lesquels une précision inférieure au centimètre est requise sur la composante verticale. L’utilisation de réseaux de stations de base semble une approche très prometteuse pour améliorer les performances du RTK, mais elle nécessite une connaissance parfaite des nombreux phénomènes intervenant dans les mesures et les calculs de position. La présente étude s’inscrit dans une démarche et en constitue la première étape indispensable. Nous présentons d’abord les systèmes GNSS et les systèmes de référence qu’ils utilisent. Dans un deuxième temps, nous analysons de manière détaillée et logique les différents phénomènes physiques qui interviennent dans les mesures et nous étudions leur influence sur les calculs de localisation en mode différentiel. Les combinaisons linéaires de mesures qui permettent de simplifier le problème de localisation sont exposées et discutées. Cette analyse est menée en parallèle avec le développement d’un logiciel adapté au traitement des mesures de phases et de pseudo-distances, que nous utilisons pour valider numériquement nos hypothèses et nos résultats théoriques. Enfin, nous étudions en détail le problème de résolution des ambiguïtés et nous analysons et comparons quelques-unes des principales méthodes existantes. Enfin, en nous aidant des connaissances acquises au cours des phases précédentes, nous proposons, en collaboration avec M. André Lannes, une nouvelle approche du problème de résolution des ambiguïtés entières s’appuyant sur la théorie algébrique des graphes, permettant de faire apparaître naturellement certaines propriétés des combinaisons de type doubles différences, couramment employées dans les traitements.