800 g de filet de porc (EN)