Logique contemporaine et formalisation — Roger Martin