Sous Windows 7, vous pouviez accéder aux paramètres « Heure Internet » en suivant les instructions de cette réponse Super User.
Maintenant, je peux accéder à cette interface, mais il n’y a pas d’option pour définir un serveur NTP personnalisé ni même voir le serveur NTP actuel :
Je veux accéder à cette boîte de dialogue :
Où se trouvent les « Paramètres d’heure Internet » dans Windows 10 ?
Allez dans le Panneau de configuration.
Recherchez « Date et heure ».
Cliquez sur « Définir la date et l’heure ».
Cliquez sur l’onglet « Temps Internet ».
Cliquez sur « Modifier les paramètres… ».
Vous pouvez toujours modifier la clé de registre du serveur par défaut dans HKEY_LOCAL_MACHINE\SOFTWARE\Microsoft\Windows\CurrentVersion\DateTime\Servers pour définir un serveur NTP personnalisé.