Re: [Jtimer-devel] Nouveau format de stockage