280 poles with a complex system of ropes and pulleys allowed the installation of a tent, at least twenty-four original hoists (later about 60) connected to ropes, pulleys, and cogwheels. Several choreographies were lifted from the underground, thanks to a system of inclined planes. Did sea battles take place?