sel marin, gros, pour assaisonner