printf() et migration de 32bits vers 64bits

Version imprimable