SpaceX va lancer des satellites GPS européens, tant pis pour Ariane 6