Modifications minimes de instruction.c