music, Giacomo Puccini ; libretto, Giuseppe Giacoso and Luigi Illica after the play La Tosca by Victorien Sardou ; directed for the stage by Jonathan Kent ; revival director, Duncan Macfarland ; directed for the screen by Jonathan Haswell ; a Royal Opera House production