Pensée logico-mathématique — Denis Miéville, Olivier Houdé