“…Centre National Belge de Recherche de Logique…”