function startDownload() {
  document.getElementById('download-button').innerHTML = 'Téléchargement en cours...';
  }
function startLocalDownload() {
  document.getElementById('downloadlocal-button').innerHTML = 'Téléchargement en cours...';
  }
function refreshPage() {
  window.location.reload();
  }