Seol mar théacs é seo: Hugh Trevor-Roper and the history of ideas