jQuery.extend(DateInput.DEFAULT_OPTS, {
  month_names: ["janvier", "février", "mars", "avril", "mai", "juin", "juillet", "août", "septembre", "octobre", "novembre", "décembre"],
  short_month_names: ["jan", "fev", "mar", "avr", "mai", "juin", "juil", "aou", "sep", "oct", "nov", "dec"],
  short_day_names: ["dim", "lun", "mar", "mer", "jeu", "ven", "sam"]
});

