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