Update debian_travail.sh