The Elementary Infinity-Topos of Truncated Coherent Spaces