prince of the house of Savoy, then commander in chief of the armies of the Holy Roman Empire (1663-1736) (1663–1736)