To make the marinade, and the olive oil to the oil remaining in the frying pan. Fry the onion and garlic gently for 5 to 10 minutes until soft. Add the bay leaves, cloves, chili and paprika. Add pepper to taste. Fry, stirring for another 1 to 2 minutes