Gwennaël Bricteux Mes liens avec l'Acfas Conférencier 85e Congrès de l'ACFAS : Un critère catégoriel pour la cohérence des systèmes de logique