Bonjour

Je voudrais pouvoir synchroniser l'horloge d'un PC avec le temps distribué par GPS. Les fonctions du module time de Python permettent d'accéder à l'horloge du PC en lecture dans une grande variété de formats.
Je n'ai pas trouvé, dans la documentation de Python, de fonction de mise à l'heure de l'horloge.

Toute aide serait bienvenue. Merci.