$adresse_ip = $_SERVER['REMOTE_ADDR'];
/* ON AFFICHE L'ENTETE SUIVANT L'ADRESSE IP - LOCALE OU INTERNET */
if ($adresse_ip == '127.0.0.1') {
	$chemin_serveur = $_SERVER['DOCUMENT_ROOT'];
	$dossier_site = '/jsp33127/include/';
	$chemin_complet = $chemin_serveur.$dossier_site;
include($chemin_complet.'head.php');
	}
else {
include('head.php');
}