integer 17 bits

Version imprimable