devenv.sh : un peu de doc sur son utilite