l'extension " . $extension . ' est manquante
');
            $flag = true;
        }
    }
    if(!extension_loaded('imagick') && !extension_loaded('gd')){
        echo("il manque une de ces extensions au choix pour le traitement des images: imagick (de préférence) ou gd.
");
        $flag = true;
    }
    if($flag){
    	echo 'Réalisez les actions nécéssaires sur le serveur ou contactez l\'administrateur du site.
    		Quand le problème sera résolu, il vous suffira de recharger la page.
';
	    die;
    }
}
// inutilisée pour l'instant
function installation(): void
{
    /* -- droits des fichiers et dossiers -- */
    $droits_dossiers = 0700;
    $droits_fichiers = 0600;
    // accès interdit en HTTP
	if(!file_exists('../config/.htaccess')){
		$contenu = <<< HTACCESS
	Order Allow,Deny
	Deny from all
HTACCESS;
		$fichier = fopen('../config/.htaccess', 'w');
        fputs($fichier, $contenu);
        fclose($fichier);
        chmod('../config/.htaccess', $droits_fichiers);
        //echo("danger
pas de .htaccess dans config
prévenez le responsable du site");
	    //die;
	}
	// accès limité en local (600) pour config.ini
	if(substr(sprintf('%o', fileperms('../config/config.ini')), -4) != 600){
		chmod('../config/config.ini', $droits_fichiers);
	}
	// création de data et sous-dossiers
    if(!file_exists('../data')){
        mkdir('../data/');
        chmod('../data/', $droits_dossiers);
    }
    if(!touch('../data')){
    	echo("dossier data non autorisé en écriture");
    	die;
    }
    $sous_dossiers = array('images', 'images-mini', 'videos');
    foreach ($sous_dossiers as $sous_dossier){
    	if(!file_exists('../data/' . $sous_dossier)){
	        mkdir('../data/' . $sous_dossier);
	        chmod('../data/' . $sous_dossier, $droits_dossiers);
	    }
	    if(!touch('../data/' . $sous_dossier)){
	    	echo("dossier data non autorisé en écriture");
	    	die;
	    }
    }
}
// création d'un site minimal avec une page d'accueil à la toute 1ère visite du site
// fonctiona appelée après la première requête envoyée en BDD,
// en l'occurence dans Menu parce que count($bulk_data) === 0
function fillStartingDatabase(EntityManager $entityManager){
	/* -- table page -- */
	// paramètres: name_page, end_of_path, reachable, in_menu, hidden, position, parent
	$accueil = new Page('Accueil', 'accueil', "Page d'accueil", true, true, false, 1, NULL);
	$article = new Page('Article', 'article', "", true, false, false, NULL, NULL);
	$connection = new Page('Connexion', 'connection', "Connexion", true, false, false, NULL, NULL);
	$my_account = new Page('Mon compte', 'user_edit', "Mon compte", true, false, false, NULL, NULL);
	$menu_paths = new Page("Menu et chemins", 'menu_chemins', "Menu et chemins", true, false, false, NULL, NULL);
	$menu_paths->addCSS('menu');
	$menu_paths->addJS('menu');
	//$edit_page = new Page("Modification d'une page", 'modif_page', '', true, false, false, NULL, NULL); // hypothétique page "Modification de la page"
	$new_page = new Page('Nouvelle page', 'nouvelle_page', "Nouvelle page", true, false, false, NULL, NULL);
	$new_page->addCSS('new_page');
	$new_page->addJS('new_page');
	
	/* -- table node -- */
	// paramètres: name_node, article_timestamp, attributes, position, parent, page, article
	$head = new Node('head', 1, NULL, NULL, NULL);
	$header = new Node('header', 2, NULL, NULL, NULL);
	$nav = new Node('nav', 1, $header, NULL, NULL);
	$main = new Node('main', 3, NULL, NULL, NULL);
	$footer = new Node('footer', 4, NULL, NULL, NULL);
	$breadcrumb = new Node('breadcrumb', 2, $header, NULL, NULL);
	$login = new Node('login', 1, $main, $connection, NULL);
	$user_edit = new Node('user_edit', 1, $main, $my_account, NULL);
	$bloc_edit_menu = new Node('menu', 1, $main, $menu_paths, NULL);
	$bloc_new_page = new Node('new_page', 1, $main, $new_page, NULL);
	/* -- table asset -- */
	// paramètres: file_name, file_path, file_path_mini, mime_type, alt
	$favicon = new Asset("favicon48x48.png", "assets/favicon48x48.png", "image/png", "favicon");
	$background = new Asset("fond-piscine.jpg", "assets/fond-piscine.jpg", "image/jpeg", "background");
	$logo = new Asset("logo-nb-et-ffn.png", "assets/logo-nb-et-ffn.png", "image/png", "logo");
	$facebook = new Asset("facebook.svg", "assets/facebook.svg", "image/svg+xml", "facebook");
	$instagram = new Asset("instagram.svg", "assets/instagram.svg", "image/svg+xml", "instagram");
	$linkedin = new Asset("linkedin.svg", "assets/linkedin.svg", "image/svg+xml", "linkedin");
	$github = new Asset("github.svg", "assets/github.svg", "image/svg+xml", "github");
	/* -- table node_data -- */
	// paramètres: data, node, images
	$head_data = new NodeData([], $head, new ArrayCollection([$favicon]));
	$header_data = new NodeData(["title" => "Titre", "description" => "Sous-titre", "header_logo" => "assets/logo-nb-et-ffn.png", "header_background" => "assets/fond-piscine.jpg",
		"social" => ["facebook" => "https://www.facebook.com", "instagram" => "https://www.instagram.com", "linkedin" => "https://www.linkedin.com"]],
	$header, new ArrayCollection([$facebook, $instagram, $linkedin, $github]));
	$footer_data = new NodeData(["contact_nom" => "Nom", "adresse" => "adresse", "e_mail" => "e-mail", "footer_logo" => "assets/logo-nb-et-ffn.png"], $footer);
	/* -- table page -- */
    $entityManager->persist($accueil);
	$entityManager->persist($article);
	$entityManager->persist($connection);
	$entityManager->persist($my_account);
	$entityManager->persist($menu_paths);
	//$entityManager->persist($edit_page); // hypothétique page "Modification de la page"
	$entityManager->persist($new_page);
	
	/* -- table node -- */
	$entityManager->persist($head);
	$entityManager->persist($header);
	$entityManager->persist($nav);
	$entityManager->persist($main);
	$entityManager->persist($footer);
	$entityManager->persist($breadcrumb);
	$entityManager->persist($login);
	$entityManager->persist($user_edit);
	$entityManager->persist($bloc_edit_menu);
	$entityManager->persist($bloc_new_page);
	
	/* -- table image -- */
	$entityManager->persist($favicon);
	$entityManager->persist($facebook);
	$entityManager->persist($instagram);
	$entityManager->persist($linkedin);
	$entityManager->persist($github);
	
	/* -- table node_data -- */
	$entityManager->persist($head_data);
	$entityManager->persist($header_data);
	$entityManager->persist($footer_data);
    $entityManager->flush();
	header('Location: ' . new URL);
	die;
}