Charlier de Gerson, Jean. [Appendix.]