Le effemeridi precise nel processamento di basi GPS