“…Travaux du Centre National de Recherches de Logique…”