En cours de rédaction Edition du fichier gps.conf (root) NTP_SERVER=europe.pool.ntp.org NTP_SERVER=fr.pool.ntp.org NTP_SERVER=0.fr.pool.ntp.org NTP_SERVER=1.fr.pool.ntp.org NTP_SERVER=2.fr.pool.ntp.org NTP_SERVER=3.fr.pool.ntp.org NTP_SERVER=0.europe-america.pool.ntp.org NTP_SERVER=1.europe-america.pool.ntp.org NTP_SERVER=2.europe-america.pool.ntp.org NTP_SERVER=3.europe-america.pool.ntp.org XTRA_SERVER_1=http://xtra1.gpsonextra.net/xtra.bin XTRA_SERVER_2=http://xtra2.gpsonextra.net/xtra.b