ajout de code pour garder les deadlocked_last_push en mémoire d'un push à l'autre
ajout de code pour garder les deadlocked_last_push en mémoire d'un push à l'autre

MichaelHoste/sokoban,MichaelHoste/sokoban,MichaelHoste/sokoban,MichaelHoste/sokoban