Militari e civili a Pavia durante la Grande guerra. Appunti per una storia demografica, economica e sociale