Le concurrent de Starlink se renomme en Amazon Leo, pourquoi ce nouveau nom ?