hallots, minced