The theatres of war : performance, politics, and society, 1793-1815 /