In a large pan (this could be the same as used to cook the beans), heat 4 tablespoons
olive oil over medium heat. When good and hot, add 1 red onion chopped, 1 sprig
rosemary, 1
bayleaf and 1
garlic clove.
Salt, pepper and mix well.
Cook while stirring for 1 or 2 minutes.