"Il pipistrello" di Roland Petit al Teatro dell'Opera di Roma