$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');

}