Tomato gratin: a quick and easy recipe that’s perfect for the summer!