\n";
echo "\n";
echo "\n";
echo "\n";
echo "\n";
}
// DEBUT DU CODE : $domaine doit être défini auparavant !
if (!isset($_SERVER['PHP_AUTH_USER']) || !verifierAuth() ||
($_GET['reauthentification']==1 &&
$_GET['ANCIEN_USER']==$_SERVER['PHP_AUTH_USER'])){
authentifier($domaine); // si pas encore auth ou incorrecte ou reauthentif
}
?>