Colloque de logique mathématique — Logic colloquium (1994 ; Clermont-Ferrand)