de Leuvén ; Musiken af Ambroise Thomas.