ajoute les documents dans debug.c