Risotto auvergnat de Paris (au fromage et aux champignons)