@article{CRMATH_2016__354_7_645_0,
     author = {B\'elair, Luc and Point, Fran\c{c}oise},
     title = {La logique des parties fractionnaires de nombres r\'eels},
     journal = {Comptes Rendus. Math\'ematique},
     pages = {645--648},
     publisher = {Elsevier},
     volume = {354},
     number = {7},
     year = {2016},
     doi = {10.1016/j.crma.2016.04.009},
     language = {fr},
     url = {http://www.numdam.org/articles/10.1016/j.crma.2016.04.009/}
}