GPS time - the standardized time to which GPS satellites are synchronized, it is not tied to the rotation of the earth so there are no "leap seconds" in GPS time ###>Heure GPS - Heure standardisée avec laquelle les satellites GPS sont synchronisés. Non liée à la rotation de la Terre, de manière à ce qu’il n’y ait pas de « secondes intercalaires » dans l’heure GPS.