Just looking at a recipe and it says i need 6 small cornichons, what are these? Am I being really thick in never hearinh of these before.