Convertir jj/mmm/aaaa

Je suis de la récupération de la date à partir de MySQL dans le format aaaa/mm/jj 00:00:00. Je veux convertir cette date en format jj/MMM/aaaa en PHP.

trois chiffres du mois? vivez-vous sur jupiter?
Je suppose qu'il veut dire, JAN, FÉV, DÉC etc.
Je présume MMM = Jan, Fév.... etc
Trois caractères sont utilisés sur cette planète.

OriginalL'auteur RKh | 2009-12-04