La caserma di San Michele nella cittadella di Alessandria : un cantiere militare nel Settecento