cd PATH_TO_GAIA_WORKDIR
ex : cd /data/gaia


# Telechargement du catalogue:
mkdir download
cd download
nohup wget -c -i ../Gaia1/Gaia_gaia_source.txt > ../out &
cd ..

# Compilation du programme 
cd Gaia1/MakeCatalogGaia/linux
make cleanall
make
cd ..
ls makeBinaryGaia

# indexation du catalogue
cd ../..
# eventuellement effacer le contenu du repertoire dat : rm -rf dat/*
Gaia1/MakeCatalogGaia/makeBinaryGaia download dat

# doit finir par : 
#    Finished processing of 1142679769 stars
# qui est le bon nombre de sources Gaia comme 
# donne ici : http://www.cosmos.esa.int/web/gaia/dr1