Cornichons, condiments