Mixed vegetable gratin