med Ambroise Thomas ’ opera » Mignon ».