Ragoût de boeuf aux légumes et gnocchis