[Footnote 20: From William of Tyre I have borrowed this distinction of Turks and Turkmans, which at least is popular and convenient. The names are the same, and the addition of man is of the same import in the Persic and Teutonic idioms. Few critics will adopt the etymology of James de Vitry, (Hist. Hierosol. l. i. c. 11 p. 1061,) of Turcomani, quesi Turci et Comani, a mixed people.]