debug de machine.c ; méthodes normalement finies, à tester, et surtout affichage à modifier