
./make_source_tree.sh [dest_dir]

permets d'obtenir un répertoire source ...