01 -
1½ cuillères à soupe d'huile d'olive.
02 -
2½ cuillères à soupe de beurre salé.
03 -
Sel de mer, selon votre goût.
04 -
Poivre noir frais moulu, à volonté.
05 -
680 grammes de gnocchi du commerce.
06 -
900 grammes d'oignons jaunes, coupés en deux puis émincés finement.
07 -
1½ cuillères à soupe de thym frais, haché menu.
08 -
6 gousses d'ail, hachées.
09 -
120 ml de vin blanc sec (comme un Sauvignon).
10 -
2½ cuillères à café de moutarde de Dijon.
11 -
2½ cuillères à soupe de farine ordinaire.
12 -
1 cuillère à café de sauce anglaise.
13 -
1 grande feuille de laurier.
14 -
590 ml de bouillon de bœuf peu salé.
15 -
180 g de gruyère râpé frais.
16 -
60 g de parmesan fraîchement râpé.