The gallo-romain theatre