ajout de la doc doxygen pour instruction.c