Les fichiers manipulés sont dotés de l'extension ".envt" (environnement).

Créé avec HelpNDoc Personal Edition: Générateur d'aides Web gratuit