// JavaScript Document
    function display_date() {
      date = new Date();
      var day_of_week_number = date.getDay();
      var day_of_month = date.getDate();
      var month_number = date.getMonth();
      var year = date.getFullYear();
      var day_of_week = '';
      var month = ''
      if(month_number == 0){month = 'Janvier';}
      if(month_number == 1){month = 'Février';}
      if(month_number == 2){month = 'Mars';}
      if(month_number == 3){month = 'Avril';}
      if(month_number == 4){month = 'Mai';}
      if(month_number == 5){month = 'Juin';}
      if(month_number == 6){month = 'Juillet';}
      if(month_number == 7){month = 'Août';}
      if(month_number == 8){month = 'Septembre';}
      if(month_number == 9){month = 'Octobre';}
      if(month_number == 10){month = 'Novembre';}
      if(month_number == 11){month = 'Décembre';}
      if(day_of_week_number == 0){day_of_week = 'Di';}
      if(day_of_week_number == 1){day_of_week = 'Lu';}
      if(day_of_week_number == 2){day_of_week = 'Ma';}
      if(day_of_week_number == 3){day_of_week = 'Me';}
      if(day_of_week_number == 4){day_of_week = 'Je';}
      if(day_of_week_number == 5){day_of_week = 'Ve';}
      if(day_of_week_number == 6){day_of_week = 'Sa';}

      var date_to_show = day_of_month + '. ' + month + ' ' + year;

      document.write(date_to_show);
    }