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