logo Debian Debian Debian-France Debian-Facile Debian-fr.org Forum-Debian.fr Debian ? Communautés logo inclusivité

Debian-facile

Bienvenue sur Debian-Facile, site d'aide pour les nouveaux utilisateurs de Debian.

Vous n'êtes pas identifié(e).


L'icône rouge permet de télécharger chaque page du wiki visitée au format PDF et la grise au format ODT → ODT PDF Export

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision
Révision précédente
Prochaine révision Les deux révisions suivantes
doc:install:dual-boot-debian-et-windows-sur-un-ordinateur-equipe-de-l-uefi [09/10/2016 20:11]
Slyfox [Créer une clé USB bootable sur Windows avec win32diskimager]
doc:install:dual-boot-debian-et-windows-sur-un-ordinateur-equipe-de-l-uefi [09/10/2016 23:28]
Slyfox [Créer une clé USB bootable sur Windows avec win32diskimager]
Ligne 8: Ligne 8:
     * Création par [[user>​slyfox]] le 20/12/2015     * Création par [[user>​slyfox]] le 20/12/2015
     * Testé par [[user>​slyfox]] le 24/12/2015 avec Debian testing sur ACER Predator-G6-710     * Testé par [[user>​slyfox]] le 24/12/2015 avec Debian testing sur ACER Predator-G6-710
-    * Mise à jour majeur du wiki par [[user>​slyfox]] le 06/10/2016+    ​* Testé par [[user>​slyfox]] le 07/10/2016 avec Debian stable jessie sur ACER Predator-G6-710 
 +    ​* Mise à jour majeur du wiki par [[user>​slyfox]] le 09/10/2016
   * Commentaires sur le forum : [[https://​debian-facile.org/​viewtopic.php?​pid=156554#​p156554|C'​est ici]]   * Commentaires sur le forum : [[https://​debian-facile.org/​viewtopic.php?​pid=156554#​p156554|C'​est ici]]
   * N'​hésitez pas à y faire part de vos remarques, succès, améliorations ou échecs !   * N'​hésitez pas à y faire part de vos remarques, succès, améliorations ou échecs !
Ligne 30: Ligne 31:
   * Créer un support d'​installation de Debian. ​   * Créer un support d'​installation de Debian. ​
   * Partitionner nos disques et créer un espace vide pour l'​installation de Debian.   * Partitionner nos disques et créer un espace vide pour l'​installation de Debian.
-  * Désactiver le secure boot de notre BIOS/UEFI.+  * Désactiver le secure boot de notre UEFI.
   * Installer Debian.   * Installer Debian.
   * Corriger les éventuels problèmes tel l'​accès au Grub.   * Corriger les éventuels problèmes tel l'​accès au Grub.
Ligne 58: Ligne 59:
 Pour cela prévoir : Pour cela prévoir :
   * Une clé USB pour la récupération de Windows. ​   * Une clé USB pour la récupération de Windows. ​
-  * Une clé USB ou CD ou DVD pour l'​installation de Debian.+  * Une clé USB ou CD ou DVD pour l'​installation de Debian ​(ce wiki ce fera avec une clé USB).
   * Un support pour nos sauvegardes personnelles tel que clé USB ou disque externe ou DVD ou CD...   * Un support pour nos sauvegardes personnelles tel que clé USB ou disque externe ou DVD ou CD...
   * Une connexion internet en Ethenet (vivement recommandée,​ mais peut se faire sans).   * Une connexion internet en Ethenet (vivement recommandée,​ mais peut se faire sans).
Ligne 80: Ligne 81:
 Pour plus d'​informations à ce sujet merci de faire une recherche sur internet. ;-) Pour plus d'​informations à ce sujet merci de faire une recherche sur internet. ;-)
  
-===== Modification ​du BIOS/UEFI =====+===== Modification ​de l'UEFI =====
  
 Avant d'​aller plus loin un petit explicatif de certains termes. Avant d'​aller plus loin un petit explicatif de certains termes.
  
-**BIOS** et l’**UEFI** (le remplaçant du BIOS) sont des composants essentiels au fonctionnement de notre ordinateur. Ils agissent comme intermédiaire entre le matériel de notre ordinateur et le système d’exploitation. Sans eux, un système d’exploitation comme Windows, GNU/Linux ... seraient incapable de détecter et d’utiliser nos périphériques! C’est pourquoi il est essentiel de bien configurer notre BIOS. Malheureusement,​ les utilisateurs sont souvent déroutés par les paramètres du BIOS et de l’UEFI qui donnent accès à des options – en plus d’être en anglais – qui ne sont pas évidentes à comprendre.+**BIOS** et l’**UEFI** (le remplaçant du BIOS) sont des composants essentiels au fonctionnement de notre ordinateur. Ils agissent comme intermédiaire entre le matériel de notre ordinateur et le système d’exploitation. Sans eux, un système d’exploitation comme Windows, GNU/Linux ... seraient incapable de détecter et d’utiliser nos périphériques! C’est pourquoi il est essentiel de bien configurer notre UEFI. Malheureusement,​ les utilisateurs sont souvent déroutés par les paramètres du BIOS et de l’UEFI qui donnent accès à des options – en plus d’être en anglais – qui ne sont pas évidentes à comprendre.
  
 **Fasboot** accélère comme son nom l'​indique le démarrage de l'​ordinateur. **Fasboot** accélère comme son nom l'​indique le démarrage de l'​ordinateur.
Ligne 90: Ligne 91:
 Le mode **CSM** permet une émulation du BIOS. Le mode **CSM** permet une émulation du BIOS.
  
-==== Accéder ​au BIOS/UEFI ====+==== Accéder ​à l'UEFI ====
  
-Nous allons maintenant devoir accéder à notre BIOS/UEFI pour faire quelques configurations et modifications.\\+Nous allons maintenant devoir accéder à notre UEFI pour faire quelques configurations et modifications.\\
 \\ \\
 Redémarrons notre ordinateur.\\ Redémarrons notre ordinateur.\\
 \\ \\
-Lorsque le logo du fabricant s'​affiche sur votre écran, appuyez sur la touche indiquée pour entrer dans la page de configuration ​du BIOS/UEFI. Cette touche varie selon le fabricant de la carte-mère. Il pourra s'agir des touches <​key>​F2</​key>,​ <​key>​F10</​key>,​ <​key>​F12</​key>​ ou <​key>​DEL</​key>​ selon les cas. Celle-ci est affichée en principe sous l'​emblème du fabricant.+Lorsque le logo du fabricant s'​affiche sur votre écran, appuyez sur la touche indiquée pour entrer dans la page de configuration ​de l'UEFI. Cette touche varie selon le fabricant de la carte-mère. Il pourra s'agir des touches <​key>​F2</​key>,​ <​key>​F10</​key>,​ <​key>​F12</​key>​ ou <​key>​DEL</​key>​ selon les cas. Celle-ci est affichée en principe sous l'​emblème du fabricant.
  
 <​note>​ <​note>​
Ligne 109: Ligne 110:
 <​note>​Si nous sommes pas capable de désactiver le Secure Boot ce wiki n'est pas adapté pour notre cas.</​note>​ <​note>​Si nous sommes pas capable de désactiver le Secure Boot ce wiki n'est pas adapté pour notre cas.</​note>​
  
-Voici ce qu'il faut modifier et/ou vérifier dans notre "BIOS/UEFI":+Voici ce qu'il faut modifier et/ou vérifier dans notre UEFI:
  
   * Désactivé le mode CSM ou Launch CSM le mettre en mode DISABLED ou NEVER.   * Désactivé le mode CSM ou Launch CSM le mettre en mode DISABLED ou NEVER.
Ligne 115: Ligne 116:
   * Sous l'​onglet "​Security"​ ou "​Authentication"​ vérifions que "​secure boot" soit bien en mode DISABLED ou NEVER (Désactivé),​ si ce n'est pas le cas faisons la modification.   * Sous l'​onglet "​Security"​ ou "​Authentication"​ vérifions que "​secure boot" soit bien en mode DISABLED ou NEVER (Désactivé),​ si ce n'est pas le cas faisons la modification.
  
-  * Il est aussi conseillé de désactiver Fast Boot (démarrage rapide) pour autant que l'​option existe dans notre “BIOS/UEFI+  * Il est aussi conseillé de désactiver Fast Boot (démarrage rapide) pour autant que l'​option existe dans notre UEFI.
  
  
Ligne 131: Ligne 132:
 De nombreuses Debian sont disponibles au téléchargement. Elles se différencient principalement de leur branches, architectures et Interface Graphique Utilisateur (GUI) . Ci-dessous nous allons avoir un petit aperçu sur ces différences afin de mieux choisir celle qui nous conviendra le mieux. De nombreuses Debian sont disponibles au téléchargement. Elles se différencient principalement de leur branches, architectures et Interface Graphique Utilisateur (GUI) . Ci-dessous nous allons avoir un petit aperçu sur ces différences afin de mieux choisir celle qui nous conviendra le mieux.
  
-=== Les branches de Debian ===+==== Les branches de Debian ​====
  
 Debian est disponible sous 5 branches: stable, testing, unstable, experimental,​ cut. Debian est disponible sous 5 branches: stable, testing, unstable, experimental,​ cut.
Ligne 149: Ligne 150:
 ---- ----
  
-=== L'​architecture processeur ===+==== L'​architecture processeur ​====
  
 Debian est compilé pour plusieurs architectures processeurs,​ notamment pour les processeurs X86 en 64bits (**amd64**) et X86 en 32bits (**i386**). Debian est compilé pour plusieurs architectures processeurs,​ notamment pour les processeurs X86 en 64bits (**amd64**) et X86 en 32bits (**i386**).
Ligne 163: Ligne 164:
 ---- ----
  
-=== Interface Graphique Utilisateur (GUI) ===+==== Interface Graphique Utilisateur (GUI) ====
  
 Debian propose dans ses dépôts ou directement sur un cd d'​installation,​ la possibilité de déployer l'​Interface Graphique Utilisateur de son choix comme Gnome, KDE, Xcfe, LXDE, Mate, Cinnamon... Debian propose dans ses dépôts ou directement sur un cd d'​installation,​ la possibilité de déployer l'​Interface Graphique Utilisateur de son choix comme Gnome, KDE, Xcfe, LXDE, Mate, Cinnamon...
Ligne 173: Ligne 174:
 ==== Comment se procurer l'​image de notre Debian ? ==== ==== Comment se procurer l'​image de notre Debian ? ====
  
-=== Acheter les CD Debian ou pas de connexion internet ===+Voici comment obtenir une image de Debian:
  
-Ils sont bon marché. De plus si notre connexion ​Internet est facturée à la minute, c'est notre seule solution. Nous pouvons également envisager d'​acheter ​les CD si nous possédons seulement un modem, étant donné que le téléchargement ​des images ​au moyen d'un modem peut prendre des jours. :-/ \\+  * Acheter les CD Debian ou pas de connexion ​internet  
 +  * Télécharger ​les images des CD ou DVD avec jigdo 
 +  * Télécharger les images ​des CD ou DVD avec BitTorrent  
 +  * Télécharger les images des CD ou DVD par HTTP ou FTP  
 +  * Télécharger l'images d'installation autonomes “live” ​
  
-Lien: [[https://​www.debian.org/​CD/vendors/|Vendeurs de support d’installation de Debian]]+Pour plus d'​information à sujet: [[https://​www.debian.org/​CD/​|https://​www.debian.org/​CD/​]]
  
-=== Télécharger les images des CD ou DVD avec jigdo ===+==== Choisir le mode de déploiement ====
  
-Le projet « jigdo » nous permet ​de sélectionner ​le miroir Debian ​le plus rapide parmi les 300 existants dans le monde. Il permet de choisir facilement un miroir et de mettre ​à jour aisément de vieilles images. C'est également la seule manière ​de télécharger ​les images des DVD de Debian ​pour toutes les architectures.+Debian peut être déployé ​de plusieurs manières sur votre machine: 
 +  *depuis un cd, un dvd ou un bluray  
 +  *depuis une [[:​doc:​install:​usb-boot |clé usb]] 
 +  *depuis ​le  ​[[:​doc:​install:​par-lan | réseau]] 
 +  *depuis ​le disque dur local à l'aide de [[:​doc:​install:​debootstrap-chroot | debootstrap et chroot]] (méthode pour les gens confirmés) 
 +  *Installer ​Debian ​sans écran automatiquement avec [[doc:​install:​preseed | preseed]]
  
-Lien: [[https://​www.debian.org/​CD/​jigdo-cd/​|jigdo]]+===== Télécharger Debian ======
  
-=== Télécharger les images ​des CD ou DVD avec BitTorrent ===+Debian et l'​ensemble ​des paquets qui la composent sont disponibles sur 8 cd (ou 3 dvd). Sachez que quand nous prenons seulement l'​image 1 d'un cd (par ex: //​debian-8.6.0-amd64-CD-1.iso//​) l'​installeur ira chercher le reste des paquets sur Internet pendant l'​installation. Les cd supplémentaires ne sont donc utiles que pour des machines **sans connexion Internet** au moment de cette installation.
  
-Le système pair-à-pair BitTorrent permet à de nombreux utilisateurs de télécharger les images de manière coopérative et simultanée avec une charge minimale pour les serveurs de Debian. +Maintenant que nous avons affiné notre choixnous pouvons nous rendre ​sur le site de Debian et télécharger notre image d'installation.
- +
-Lien: [[https://​www.debian.org/​CD/​torrent-cd/​|BitTorrent]] +
- +
-=== Télécharger les images des CD ou DVD par HTTP ou FTP === +
- +
-À cause de contraintes en bande passante et espace disqueseuls quelques miroirs offrent la possibilité d'un téléchargement direct par HTTP ou FTP. Ces sites peuvent utiliser la technique de « l'​étranglement de bande passante », les téléchargements peuvent être relativement lents. Veuillez utiliser jigdo ou bittorrent à la place de HTTP ou de FTP. Les images des DVD ne sont disponibles que pour certaines architectures et ne sont pas sur tous les miroirs. +
- +
-Lien: [[https://​www.debian.org/​CD/​http-ftp/​|HTTP ou FTP]] +
- +
-=== Télécharger l'​images d'​installation autonomes “live” === +
- +
-Une image d'​installation autonome permet ​de démarrer un système ​Debian ​sans modifier un seul fichier du disque dur et permet aussi d'​installer Debian à partir du contenu de l'image. C'est l'​idéal si on veut tester Debian avant de l'​installer. (//​Attention! Les images live ne sont pas encore compatible avec les ordinateur équipé de l'​**UEFI**,​ pour le moment il est vivement recommandé de pas les télécharger,​ par contre si votre ordinateur n'a pas d'UEFI autrement dit est équipé d'un BIOS ou du module CSM, il est tout à fait possible de les utiliser//). +
- +
-Lien: [[https://​www.debian.org/​CD/​live/​|Images d'​installation autonomes “live”]]+
  
 ==== Choix de l'​image ==== ==== Choix de l'​image ====
Ligne 214: Ligne 210:
  
 Pour plus d'​informations à sujet nous pouvons lire cette page: [[https://​www.debian.org/​CD/​faq/​index.fr.html#​netinst|Foire aux questions]] \\ Pour plus d'​informations à sujet nous pouvons lire cette page: [[https://​www.debian.org/​CD/​faq/​index.fr.html#​netinst|Foire aux questions]] \\
- 
-==== Choisir le mode de déploiement ==== 
- 
-Debian peut être déployé de plusieurs manières sur votre machine: 
-  *depuis un cd, un dvd ou un bluray ​ 
-  *depuis une [[:​doc:​install:​usb-boot |clé usb]] 
-  *depuis le  [[:​doc:​install:​par-lan | réseau]] 
-  *depuis le disque dur local à l'aide de [[:​doc:​install:​debootstrap-chroot | debootstrap et chroot]] (méthode pour les gens confirmés) 
-  *Installer Debian sans écran automatiquement avec [[doc:​install:​preseed | preseed]] 
- 
-===== Télécharger Debian ====== 
- 
-Debian et l'​ensemble des paquets qui la composent sont disponibles sur 8 cd (ou 3 dvd). Sachez que quand nous prenons seulement l'​image 1 d'un cd (par ex: //​debian-8.6.0-amd64-CD-1.iso//​) l'​installeur ira chercher le reste des paquets sur Internet pendant l'​installation. Les cd supplémentaires ne sont donc utiles que pour des machines **sans connexion Internet** au moment de cette installation. 
- 
-Maintenant que nous avons affiné notre choix, nous pouvons nous rendre sur le site de Debian et télécharger notre image d'​installation. 
  
 <note important>​Les images iso pour les versions **live** ne sont pas recommandées pour le moment **avec les ordinateurs équipés de l'​UEFI** <note important>​Les images iso pour les versions **live** ne sont pas recommandées pour le moment **avec les ordinateurs équipés de l'​UEFI**
Ligne 255: Ligne 236:
 Pour télécharger Debian stable rendons-nous sur le site officiel de Debian: [[https://​www.debian.org/​releases/​stable/​debian-installer/​|https://​www.debian.org/​releases/​stable/​debian-installer/​]] \\ Pour télécharger Debian stable rendons-nous sur le site officiel de Debian: [[https://​www.debian.org/​releases/​stable/​debian-installer/​|https://​www.debian.org/​releases/​stable/​debian-installer/​]] \\
  
-A première vu il y a de nombreux choix est il n'est pas forcément aisé de s'y retrouver, mais c'est ce que nous allons voir à présent, comment choisir la bonne image iso.+A première vu il y a de nombreux choix est il n'est pas forcément aisé de s'y retrouver, mais c'est ce que nous allons voir à présent.
  
-Pour pour pouvoir s'y retrouver ​voilà ​3 questions auxquels il faudra répondre:+Pour choisir la bonne image iso voilà ​ce qui faut savoir:
  
   - Quel support allons-nous utiliser pour "​graver"​ notre image .iso? (Clé USB, CD, DVD, Blu-ray...)   - Quel support allons-nous utiliser pour "​graver"​ notre image .iso? (Clé USB, CD, DVD, Blu-ray...)
-  - Quelle ​manière allons-nous télécharger notre image iso? (HTTP, FTP, Bitorrent, jigdo...)+  - De quelle ​manière allons-nous télécharger notre image iso? (HTTP, FTP, Bitorrent, jigdo...)
   - Quelle est l'​architecture de l'​ordinateur sur lequel on va installer notre Debian? (amd64, i686...)   - Quelle est l'​architecture de l'​ordinateur sur lequel on va installer notre Debian? (amd64, i686...)
  
Ligne 373: Ligne 354:
 ==== Vérifier et comparer les MD5 sur Debian ==== ==== Vérifier et comparer les MD5 sur Debian ====
  
-Sur Debian (si déjà installé) ​il suffit d'​ouvrir un terminal et saisir la commande suivante:+Sur distribution GNU/​Linux, ​il suffit d'​ouvrir un terminal et saisir la commande suivante:
  
 <code user>​md5sum /​chemin_du_dossier_image_iso/​nom_image_téléchargé.iso </​code>​ <code user>​md5sum /​chemin_du_dossier_image_iso/​nom_image_téléchargé.iso </​code>​
Ligne 436: Ligne 417:
 Dans l'​exemple ci-dessous nous repérons rapidement que par sa petite taille (29,82 Go) et par son format (FAT32)que notre clé USB est monté en **F:** ^_^. Dans l'​exemple ci-dessous nous repérons rapidement que par sa petite taille (29,82 Go) et par son format (FAT32)que notre clé USB est monté en **F:** ^_^.
  
- ​{{/​file-R4702a22672663ff381abc171b534a480.png?​400}}+ ​{{/​file-R4702a22672663ff381abc171b534a480.png?​600}}
  
 Remarque: \\ Remarque: \\
 //Par contre dans cet exemple, nous allons devoir certainement faire une sauvegarde des données qui se trouvent dessus notre clé USB car si on regarde bien elle est libre à 71% (une clé USB vide correspondrait à 100%) à moins que tout ce qui ci-trouve dessus n'a aucune importance, nous voilà averti et juge de ce qui faut faire. ;-)// //Par contre dans cet exemple, nous allons devoir certainement faire une sauvegarde des données qui se trouvent dessus notre clé USB car si on regarde bien elle est libre à 71% (une clé USB vide correspondrait à 100%) à moins que tout ce qui ci-trouve dessus n'a aucune importance, nous voilà averti et juge de ce qui faut faire. ;-)//
  
-<note tip>Dans notre exemple notre clé est montée en F mais chez vous elle peut-être monté en G ou H ou F... mais normalement pas en C car le disque C correspond tout simplement et en principe au disque au se trouve Windows **à ne surtout pas toucher**, au risque de supprimer Windows et de devoir le réinstaller! 8-o</​note>​+<note tip>Dans notre exemple notre clé est montée en F mais chez vous elle peut-être monté en G ou H ou I... mais normalement pas en Ccar le disque C correspond tout simplement et en principe au disque au se trouve Windows **à ne surtout pas toucher**, au risque de supprimer Windows et de devoir le réinstaller! 8-o</​note>​
  
 ==== Création de la clé USB avec win32diskimager ====  ==== Création de la clé USB avec win32diskimager ==== 
Ligne 603: Ligne 584:
  
 ===== Installation de Debian ===== ===== Installation de Debian =====
-<note warning> 
-** 
-CETTE SECTION EST EN COURS DE MODIFICATION ​ 
- 
-Merci de votre compréhension. 
- 
-Amicalement Slyfox** 
-</​note>​ 
- 
- 
- 
  
 ==== Préambule ==== ==== Préambule ====
Ligne 783: Ligne 753:
 **__ Création d'une nouvelle partition EFI __**\\ **__ Création d'une nouvelle partition EFI __**\\
  
-<note important>​Sur Windows 8 ou 10 (et certains Windows 7) la partition EFI est déjà installée sur votre ordinateur, ​vous n'avez pas besoin de la créer. </​note>​+<note important>​Sur Windows 8 ou 10 (et certains Windows 7) la partition EFI est déjà installée sur notre ordinateur, ​nous n'avons pas besoin de la créer ​(selon image ci-dessous). </​note>​
  
-FIXME+{{/​file-Rd18c112f321dbd017428f0c73d400785.png?​400}}\\
  
 +Voici comment créer une partition EFI si nécessaire.
  
 +  * Faisons un double clic sur l'​espace libre.\\
  
 +  * Action sur cet espace de disque: <​key>​Créer une nouvelle partition</​key>​\\
  
 +  * Nouvelle taille de la partition: nous affectons <​key>​0.3 GB</​key>​.\\
  
 +  * Emplacement de la nouvelle partition: <​key>​Début</​key>​\\
 +
 +Après l'​affectation à la nouvelle partition, l'​installeur propose une partition automatique pour le dossier utilisateur racine (/) mais nous on veut une partition EFI !
 +
 +{{/​file-Rf4c615feeb3515fa95827b38e1827003.png?​400}}\\
 +
 +Pour ce faire double clique sur <​key>​Utiliser comme:</​key>​ pour passer le système de fichier de EXT4 à <​key>​Partition système EFI</​key>​
 +
 +{{/​file-R9e6d7089621a6f031d962fb962387aee.png?​400}}\\
 +
 +Si tout OK, double clic sur <​key>​Fin de paramétrage de cette partition</​key>​
  
 **__ Création d'une nouvelle partition système: la racine (/) __**\\ **__ Création d'une nouvelle partition système: la racine (/) __**\\
Ligne 807: Ligne 792:
  
 //Dans cet exemple nous laissons les paramètres par défaut avec un format de système de fichier en EXT4 et la racine (/) en point de montage.// //Dans cet exemple nous laissons les paramètres par défaut avec un format de système de fichier en EXT4 et la racine (/) en point de montage.//
- 
- 
  
 **__ Création de la partition d'​échange (SWAP) __**\\ **__ Création de la partition d'​échange (SWAP) __**\\
Ligne 916: Ligne 899:
 <​note>​Les options serveur web, serveur d'​impression,​ serveur ssh, utilitaires usuels du système sont à laisser par défaut, si on ne sait pas.</​note>​ <​note>​Les options serveur web, serveur d'​impression,​ serveur ssh, utilitaires usuels du système sont à laisser par défaut, si on ne sait pas.</​note>​
  
-Maintenant nous allons devoir opter pour au moins un ou plusieurs environnements de Bureau selon notre choix. Il faut savoir que l'​installation d'​un ​environnement ​de Bureau ​peut se faire aussi après l'​installation de Debian, il suffira alors d'​installer le paquet qui lui correspondra.+Maintenant nous allons devoir opter pour **au moins un** ou plusieurs environnements de Bureau selon notre choix. Il faut savoir que l'​installation d'​un ​autre ou d'​autres environnements ​de Bureau ​peuvent ​se faire aussi après l'​installation de Debian, il suffira alors d'​installer le paquet qui leur correspondra.
  
   ***Environnement de Bureau Debian** Parmi les bureaux proposés, on trouve:   ***Environnement de Bureau Debian** Parmi les bureaux proposés, on trouve:
doc/install/dual-boot-debian-et-windows-sur-un-ordinateur-equipe-de-l-uefi.txt · Dernière modification: 23/01/2019 01:54 par cdo

Pied de page des forums

Propulsé par FluxBB