le billion américain, c'est bien le miliard français ? (on trouve deux defs, 10^9 et 10^12)