Opera Nicolai de Dinkelsbühl et Johannis Gerson.