Doxygene pour instruction.c