Republiek der Verenigde Nederlanden als grote mogendheid : buitenlandse politiek en oorlogvoering in de eerste helft van de achttiende eeuw en in het bijzonder tijdens …
