Ajout de la doc + finition pour machine.c et detection bug dans exec.c