la guerra dei trent'anni e la pace di westfalia