L'éruption géante du Hunga Tonga a perturbé satellites et GPS