Quelques modifications dans debug.c