and rolled potato gnocchi, spring peas, pea purée, jus de boeuf