The leisure time of great people