600 grams of mussels in their shells One teaspoon butter One tablespoon olive oil Three shallots, or half a medium onion Half a bottle of cheap white wine Half a teaspoon dried parsley Half a teaspoon dried thyme One bayleaf Freshly-ground black pepper One teaspoon cornflour