Sal de mesa, marina o del Himalaya: cuál conviene elegir para proteger la presión arterial