Séminaire Logique et automates (1971 ; Rocquencourt, Yvelines) — 1 œuvres