main_prog_auto_memory
reste pb sur calculate-satisfaction