Бөек Петр (Булгаков либреттосы