fichier de config de boot pxe du serveur d'installation