//fonction qui retourne le numero de version //courant de modnum function [modnum_ver]=get_modnum_version() //INRIA modnum_ver = 'modnum-4.1.2'; endfunction