Cuando en una noche se represente la pantomima.