Niveau moyen des mers mesuré par GEOSAT en 1988