Edgar — opera by Giacomo Puccini