DATE COURTE OU LONGUE

<?
   $date_jours  =  array();
   $date_jours[1]  =  "Lundi";
   $date_jours[2]  =  "Mardi";
   $date_jours[3]  =  "Mercredi";
   $date_jours[4]  =  "Jeudi";
   $date_jours[5]  =  "Vendredi";
   $date_jours[6]  =  "Samedi";
   $date_jours[7]  =  "Dimanche";
   $date_mois  =  array();
   $date_mois[1]  =  "janvier";
   $date_mois[2]  =  "février";
   $date_mois[3]  =  "mars";
   $date_mois[4]  =  "avril";
   $date_mois[5]  =  "mai";
   $date_mois[6]  =  "juin";
   $date_mois[7]  =  "juillet";
   $date_mois[8]  =  "août";
   $date_mois[9]  =  "septembre";
   $date_mois[10]  =  "octobre";
   $date_mois[11]  =  "novembre";
   $date_mois[12]  =  "décembre";
   
   //   format   de   dates   coutes   ou   longues
   $date_court  =  date("j");
   if  (strlen($date_court)  <  2)  {  $date_court  =  "0".$date_court;  }
   $date_court  .=  date("/m/Y");
   $date_long  =  $date_jours[(int)  date("w")]."   ".date("j")."   ".$date_mois[(int)  date("n")]."   ".date("Y");

   echo $date_court; // renvera ex: 11/10/2003
   echo $date_long;  // renvera ex: Dimanche 11 octobre 2003

?>