girolamo trevigiと呼ばれることもある。