GPSDO une référence 10MHz GPS low cost (100 KHz)