champignons oignons marinés sauce soja paprika