@unpublished{dowek:hal-04055835, TITLE = {{La notion de nombre r{\'e}el : une solution simplexe ?}}, AUTHOR = {Dowek, Gilles}, URL = {https://inria.hal.science/hal-04055835}, NOTE = {working paper or preprint}, YEAR = {2014}, PDF = {https://inria.hal.science/hal-04055835/file/simplexite.pdf}, HAL_ID = {hal-04055835}, HAL_VERSION = {v1}, }