La formalisation — Jacques Brunschwig