Le script src2def se trouve dans le dossier wims/other/bin
Il faut donc l’appeler (tout dépend de l’installation xxx/wis/other/bin/src2def)
ou mettre le répertoire en question dans le path (mais uniquement pour une installation personnelle, pas pour un wims de production).