Oignons rouges marinés