divertissement , 7 — 10 .)