
Pile d'appels :
   1: 0x2b9e436787ac <initi1_+0xec>                   (libsaturne.so.0)
   2: 0x2b9e435d8117 <cs_run+0xc7>                    (libsaturne.so.0)
   3: 0x2b9e435d8985 <main+0x1e5>                     (libsaturne.so.0)
   4: 0x39aac1d994 <__libc_start_main+0xf4>         (libc.so.6)
   5: 0x4038c9     <main+0x131>                     (cs_solver)
Fin de la pile

