Divertissement definitions