Talk. Organized by P. Cantu. ANR-23-CE54-0012 "Axiomatic Definitions".
Frédéric Jaeck (Wed,) studied this question.