Chou rouge compoté au beurre