Undoubtedly the very tedium and ennui which presume to have exhausted the variety and the joys of life are as old as Adam.