Kasernen wid Porta San-Antonio förswaradesig