
Pile d'appels :
   1: 0x2ae32d313ddb <colecd_+0x201b>                 (libsaturne.so.0)
   2: 0x2ae32d1f5755 <pplecd_+0x25>                   (libsaturne.so.0)
   3: 0x2ae32d1c76d5 <varpos_+0x1e5>                  (libsaturne.so.0)
   4: 0x2ae32d16abd2 <iniusi_+0x1f2>                  (libsaturne.so.0)
   5: 0x2ae32d16a6db <initi1_+0x1b>                   (libsaturne.so.0)
   6: 0x2ae32d0ca117 <cs_run+0xc7>                    (libsaturne.so.0)
   7: 0x2ae32d0ca985 <main+0x1e5>                     (libsaturne.so.0)
   8: 0x39aac1d994 <__libc_start_main+0xf4>         (libc.so.6)
   9: 0x4024e9     <main+0x129>                     (cs_solver)
Fin de la pile

