tomates frezcos gratinados al horno, servidos en una cama de champiñones