Documentation de machine.c