de Portugal , p . Vertot.