Haricot beans (US: navy beans) cooked and then heated so that the moisture evaporates, covered with cream with some chopped savoury. It could also mean cooked haricot beans (US: navy beans) that have been placed in a gratin dish with cream sprinkled with butter and breadcrumbs and baked.