Ne pas mélanger les sessions et les servlets, c'est mieux pour la mutualisation.

Modifications obtenues par:

mv inc/session.php ..
for i in $(grep  -l _DIR_SESSIONS *php */*php)
do sed s/DIR_SESSIONS/DIR_TMP/g $i > x;
mv x $i
done 
mv ../session.php inc

plus le rajout de define('_DIR_SESSIONS', $dir2 . "data/") dans inc_version
répertoire qui ne concerne donc plus qu'effectivement les sessions.