1 garlic clove, smashed
陆 onion, cut into wedges
small bunch fresh thyme, roughly chopped
1 tbsp Dijon mustard
85g/3oz plain flour
1 bay leaf
85g/3oz butter, plus extra for greasing
55g/2oz mature cheddar, grated
200ml/7fl oz double cream
6 free-range eggs, separated
55g/2oz 骋谤耻测猫谤别, grated
425ml/戮 pint milk
50驳/戮辞锄 Parmesan, grated