<?php
  date_default_timezone_set('Europe/Paris');
  $mtime =  date("d M Y H:i:s", filemtime($this_file));
  setlocale(LC_TIME, 'fr_FR.utf8','fra');
?>
<p style="text-align:right;">Mis à jour le <?php echo strftime("%d %B %Y à %H:%M:%S UTC%z", strtotime($mtime)); ?></p>