<?php

// Voir la liste de caractères utilisé dans l''affichge

  $dth = time();
  echo date('r', $