ajout choix machine
Merge branch 'master' of https://github.com/jdeverdun/GdcServerManager.git
ras