El octavo y noveno satélite del GPS europeo ya transmiten mensajes de navegación