Storia del teatro di Antonio Porta. Dalle carte alla messa in scena