Champignonragout uit de Dutchoven