Polenta gratinée aux tomates cerise