Passage à des délais entiers dans le script de démarrage du serveur

sleep 0.5 ne fonctionnait pas avec Git Bash sous Windows.