That brings up a good point: What time do you want to eat? Remember that most restaurants don't open for dinner until 19h30 or 20h00, whereas brasseries and cafés will serve you anytime.

(Pardon my ignorance, but I have no idea how late 9-year-olds generally stay up!)