Modif exec_instr