Mon, 06 Jun 2011 11:01:47 +0200 laurent Fix bug when generating integer with leading zero (octal value for C compiler)