Complétude en théorie sur graphes orientés Christiane Rambaud — 1979 Publications du Département de mathématiques (Lyon)