Vous utilisez un navigateur non à jour ou ancien. Il ne peut pas afficher ce site ou d'autres sites correctement. Vous devez le mettre à jour ou utiliser un navigateur alternatif.
Si tu veux générer une date à partir de rien, ou si tu veux transformer ta chaine en une date dans un autre format.
Dans le premier cas, cela existe en php, dans le second cas, tu dois scinder ta chaine, extraire les élements qui t'intéresse et les concaténer comme tu le souhaite.
il faut donc que tu changes le jun en 06 en faisant correspondre chaque mois à sa valeur en plus de scinder la chaîne et la remettre dans l'ordre... C'est un peu de boulot mais ce n'est pas impossible!
Tu traite cette chaine qui a toujours un format identique (ça doit se faire facilement avec la fonction explode() )
Jourdelasemaine, jourdumois mois année heure:minute:seconde
pour avoir les variables suivantes :
$hour
$minute
$second
$month
$day
$year
il y a peut-être un script qui existe mais j'ai pas le courage de chercher maintenant... pour les standart du rfc2822, http://www.faqs.org/rfcs/rfc2822
tu devrais trouver toutes les informations relatives à ça...