100²µ/3Β½΄Η³ϊ Brussels sprouts, quartered
1 garlic clove, chopped
Β½ onion, chopped
salt and freshly ground black pepper
dash olive oil
300ml/Β½ pint hot chicken or vegetable stock
55g/2oz cheddar cheese, grated
100ml/3Β½fl oz double cream