Communiqués par Dowek, Gilles (Ecole Polytechnique, Paris)