Adaptation de atktools : ajout de atkstring.inc