Google Maps se plie à Donald Trump : le Golfe du Mexique sera rebaptisé le Golfe d'Amérique aux États-Unis