Les Machines à calculer et la pensée humaine - Centre national de la recherche scientifique. Colloque international (CNRS, 1953)