Constante de Date

Je viens de tomber tout à fait par hasard sur des constantes fort utiles en php.
De nombreux standard tel que le RSS nécessite un format de date particulier, format généralement imbuvable totalement impossible à mémoriser ...
Et c'est là que les constantes DATE_* interviennent :

echo date(DATE_RSS);
// Affichera par exemple  Thu, 05 Aug 2010 13:45:58 +1000

Toutes les constantes sont visibles sur la documentation et disponibles depuis PHP 5.1.1