Source permettant de trouver le numéro de jour

Source permettant de trouver le numéro de jour.

<?php
$tab_jour = array(1 => ‘lundi’, ‘mardi’, ‘mercredi’, ‘jeudi’, ‘vendredi’, ‘samedi’, ‘dimanche’);
$num_jour = date(‘N’);
$nom_jour = $tab_jour[$num_jour];
?>