Modèle cohérent des réseaux de preuve Eric DuquesneJacques Van de Wiele OriginalPaper Pages: 131 - 158