Productions linked to Tosca - Gstaad Menuhin Festival (2023) . 123