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 →
Ceci est une ancienne révision du document !
Voir aussi Installation de Debian sur un ordinateur équipé de l'UEFI
Nota : Contributeurs, les sont là pour vous aider, supprimez-les une fois le problème corrigé ou le champ rempli !
Voici une rapide présentation, au format pdf, de ce qu'est Debian et des avantages que vous pouvez en tirer : Le livre du Grand Débutant qui Débute
Dans ce wiki nous partons du principe que seul Windows est installé sur la machine.
Toutefois il peut quand même servir de guide si il existe déjà une distribution GNU/Linux sur l'ordinateur ou si on désire installer Debian comme seul OS sur l'ordinateur.
En résumé voilà ce que nous allons faire dans ce wiki:
Un dual-boot ou multiboot est un terme informatique qui désigne la possibilité d'installer sur un même ordinateur plusieurs systèmes d’exploitation et de choisir l'un d'eux lors de son démarrage. Exemple : un multiboot distribution GNU/Linux et Windows .
Unified Extensible Firmware Interface (UEFI) est une interface logicielle présente sur la majorité des ordinateurs récents (depuis 2010). Elle vient se placer entre le micrologiciel (firmware) et le système d'exploitation pour permettre de contrôler les paramètres de l'ordinateur. A ce titre, elle remplace la traditionnelle interface du BIOS. Les principaux avantages de l'UEFI sont une prise en charge des partitions de disque dur supérieurs à 2 To et une prise en charge de plus de quatre partitions sur une unité.
Quasiment tout les pc achetés dans le commerce avec Windows 8 ou supérieur ont un UEFI équipé du secure boot, ce qui peut poser un problème pour le dual boot avec les distribution GNU/Linux mais ce wiki est là pour vous expliquer comment faire…
Depuis la version 2.3.1, l'UEFI intègre une fonctionnalité n'autorisant le démarrage qu'aux systèmes d'exploitation reconnus (comme Windows…). Cette fonctionnalité vise à interdire le démarrage d'un système d'exploitation corrompu notamment par un virus ou un rootkit. Mais heureusement sur de nombreuses machines cette fonction peut-être désactivée et nous permet ainsi d'installer notre distribution préférée.
Avant de nous lancer dans l'installation de Debian, nous devons préparer le terrain.
Pour cela prévoir :
Créer un lecteur de récupération USB pour Windows 7
Créer un lecteur de récupération USB pour Windows 8.1
Créer un lecteur de récupération USB pour Windows 10
Pour plus d'informations à ce sujet merci de faire une recherche sur internet.
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.
Fasboot accélère comme son nom l'indique le démarrage de l'ordinateur.
Le mode CSM permet une émulation du BIOS.
Nous allons maintenant devoir accéder à notre BIOS/UEFI pour faire quelques configurations et modifications.
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 F2, F10, F12 ou DEL selon les cas. Celle-ci est affichée en principe sous l'emblème du fabricant.
A l'aider des touches du clavier ou de la souris déplaçons-nous dans les différents menus.
Vérifions qu'il existe une option où nous pouvons désactiver le “Secure Boot”, et que nous ne sommes pas en mode Legacy ou CSM. Normalement ce n'est pas le cas, mais il est important de le vérifier.
Voici ce qu'il faut modifier et/ou vérifier dans notre “BIOS/UEFI”:
Maintenant nous allons changer l'ordre de démarrage afin que le système boote en premier sur notre futur clé USB. Cliquons sur l'onglet “BOOT OPTIONS” et modifions si nécessaire de manière à ce que notre clé USB soit la première dans la liste.
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.
Debian est disponible sous 5 branches: stable, testing, unstable, experimental, cut.
Ensuite viennent deux autres branches de moindre importance:
Pour plus info voir ce wiki: branches-debian.
Debian est compilé pour plusieurs architectures processeurs, notamment pour les processeurs X86 en 64bits (amd64) et X86 en 32bits (i386).
uname -r
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…
Pour plus info voir ce wiki: environnements.
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.
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.
Lien: jigdo
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.
Lien: BitTorrent
À cause de contraintes en bande passante et espace disque, seuls 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: HTTP ou FTP
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).
Une image de Debian se lit en principe ainsi: version, révision, architecture, GUI, support, numéro du support.
Pour plus d'informations à sujet nous pouvons lire cette page: Foire aux questions
Debian peut être déployé de plusieurs manières sur votre machine:
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.
Dans certains cas, le programme d'installation de Debian détecte la nécessité de charger un microcode non-libre et demande à l'utilisateur de charger le microcode afin de pouvoir achever l'installation. Cette image iso de Debian stable à aussi l'avantage d'être compatible avec les architectures 32 et 64 bits. C'est un peu l'image iso passe-partout conseiller aux débutants mais pas forcément apprécier de certains puristes du libre.
Images 32/64 bits non officielle avec micro-firmware
Pour télécharger Debian stable rendons-nous sur le site officiel de Debian: 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.
Pour pour pouvoir s'y retrouver voilà 3 questions auxquels il faudra répondre:
Voici un exemple:
Ça y est il suffit de cliquer sur le lien pour la suite (amd64 dans notre exemple).
Une nouvelle page s'ouvre, en bas de celle-ci ce trouve plusieurs liens de téléchargement. Dans le cas de notre exemple nous devons choisir “debian-8.6.0-amd64-CD-1.iso” (8.6.0 est le numéro de la version de Debian au moment de la rédaction de ce wiki, amd64 l'architecture de l'ordinateur et CD-1 premier CD pour rappelle si nous installons Debian par internet seul l'image du CD1 suffit).
Le premier lien “MD5SUMS” nous sera utile pour vérifier la somme MD5 après le téléchargement de notre image iso, mais le chapitre suivant traitera de ça plus en détail.
Ci-dessous une liste non exhaustive de certaines images .iso de Debian stable 8.6.0.
Téléchargement par HTTP, FTP: http://cdimage.debian.org/debian-cd/8.6.0/amd64/iso-cd/debian-8.6.0-amd64-CD-1.iso
Téléchargement par Bitorrent: http://cdimage.debian.org/debian-cd/8.6.0/amd64/bt-cd/debian-8.6.0-amd64-CD-1.iso.torrent
Téléchargement par jigdo: http://cdimage.debian.org/debian-cd/8.6.0/amd64/jigdo-cd/debian-8.6.0-amd64-CD-1.jigdo
Téléchargement par HTTP, FTP: http://cdimage.debian.org/debian-cd/8.6.0/i386/iso-cd/debian-8.6.0-i386-CD-1.iso
Téléchargement par jigdo: http://cdimage.debian.org/debian-cd/8.6.0/i386/jigdo-cd/debian-8.6.0-i386-CD-1.jigdo
Pour télécharger Debian testing rendons-nous sur le site officiel de Debian: https://www.debian.org/devel/debian-installer/
Pour la suite procédons de la manière que Debian stable (voir ci-dessus).
Ci-dessous une liste non exhaustive de certaines images .iso de Debian testing.
Téléchargement par HTTP, FTP: http://cdimage.debian.org/cdimage/stretch_di_alpha7/amd64/iso-cd/debian-stretch-DI-alpha7-amd64-netinst.iso
Téléchargement par jigdo: http://cdimage.debian.org/cdimage/stretch_di_alpha7/amd64/jigdo-cd/debian-stretch-DI-alpha7-amd64-netinst.jigdo
Téléchargement par HTTP, FTP: http://cdimage.debian.org/cdimage/stretch_di_alpha7/i386/iso-cd/debian-stretch-DI-alpha7-i386-netinst.iso
Téléchargement par jigdo: http://cdimage.debian.org/cdimage/stretch_di_alpha7/i386/jigdo-cd/debian-stretch-DI-alpha7-i386-netinst.jigdo
Page général de téléchargement de Debian
En principe chaque image .iso contient un MD5 pour faire simple c'est peu l'ADN du fichier.
Pour vérifier que l'image iso que nous avons téléchargée est correcte nous allons comparer le MD5 que le site de téléchargement nous donne et le MD5 du fichier que nous venons de télécharger.
Retournons sur la page où nous venons de télécharger notre image et cherchons un lien qui s'appelle “MD5SUMS”, cliquons dessus.
Sur cette page on peut voir 2 colonnes, à gauche les empreintes MD5 et à droite les noms des images.
Il suffit de trouver la ligne correspondant à notre image et on obtiendra le MD5 correspondant.
Par exemple si l'image que nous avons téléchargée est “debian-8.2.0-amd64-CD-1.iso” dans ce cas là le MD5 est “5e172c7df6ab46ded2f2b44df22e1ca2”
Téléchargeons winMd5Sum ici: Télécharger winMd5Sum
Une fois installé, lançons-le, une petit interface graphique s'ouvrira.
Dans “File Name” ouvrons ou glissons notre image.iso. Dans “Compare”, faisons un copier/coller du MD5 du site donné par Debian (trouver ci-dessus). et cliquons sur Compare.
C'est tout. Nous n'avons qu'à attendre environ une minute tout au plus, (tout dépend de la taille du fichier) et s'ils correspondent on peut passer à la suite.
Sinon il faudra retélécharger notre image car il semble y avoir un problème.
Sur Debian (si déjà installé) il suffit d'ouvrir un terminal et saisir la commande suivante:
md5sum /chemin_du_dossier_image_iso/nom_image_téléchargé.iso
et de comparer le résultat entre celui que nous venons d'obtenir avec md5sum et celui donné par le site de Debian.
Maintenant que nous avons téléchargé notre image d'installation, nous devons la “graver” sur une clé USB.
Pour cela il existe plusieurs logiciels capable d'effectuer ce travail comme par exemple UNetbootin, Rufus, LiLi LiveUSB Creators… mais dans ce wiki nous utiliserons win32diskimager.
Avant de continuer téléchargeons win32diskimager.
Lien de téléchargement: https://sourceforge.net/projects/win32diskimager/files/latest/download
Pour installer win32diskimager allons dans le dossier où nous l'avons télécharger (par défaut c'est le dossier Téléchargement ou Downloads) et faisons un double clic sur le fichier “Win32DiskImager-0.9.5-install.exe” et maintenant faisons comme les images ci-dessous:
Insérons notre clé dans l'un des ports USB de notre ordinateur.
Maintenant nous devons accéder à “Gestion du disque”.
Le Gestion des disques nous montre tous les disques qui sont montés.
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: .
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.
Lançons win32diskimager.
1. Sélectionnons la lettre correspondant à notre clé USB que nous souhaitons utiliser pour graver notre image iso (dans l'exemple ci-dessus la clé USB correspond au disque F).
2. Cliquons sur cette icône pour choisir l'image iso à graver.
3. Choisissons “*.*” afin de pouvoir visualiser tous les fichiers présent dans notre dossier.
4. Sélectionnons le dossier au se trouve notre image iso à graver.
5. Faisons un double clique sur notre image iso afin de la sélectionner.
6. Pour lancer la “gravure” appuyons sur “Write”.
7. Puis appuyons sur “Yes”.
Patientons un instant…
Cette fenêtre nous confirme que tous c'est bien passé.
Nous sommes désormais en possession d'une clé UBS bootable de Debian !
La première chose que nous allons faire est de lancer Windows sur un compte administrateur de manière classique.
Maintenant accédons à Gestion du disque.
Voici à quoi peut ressembler la fenêtre de nos disques présents sur notre système. Peut-être que chez vous cette fenêtre est différente mais l'image ci-dessous est juste un exemple pour notre wiki. De manière générale c'est le disque 0 qui est le plus important pour l'installation de notre future Debian.
Une petit explication s'impose.
Le disque 0 qui est de plus en plus souvent un disque de type SDD sur les nouvelles machines, le cas échéant c'est un disque classique HDD.
Il est composé de plusieurs partitions.
Le disque 1 est un disque optionnel qui peut servir à stocker des documents ou un autre système d'exploitation, il peut être SDD ou HDD.
Le disque 2 est aussi un disque optionnel, dans le cas présent c'est une clé USB.
CD-ROM 0 c'est le lecteur CD/DVD/Blu-ray.
Nous allons vérifier depuis le gestionnaire de disques précédemment ouvert que notre disque 0 est bien au format GPT afin de pouvoir faire le dualboot avec Debian en UEFI.
Identifions le disque qui contient la partition C et faisons un Clic droit sur disque 0 (dans notre exemple) puis Propriété et cliquons sur l’onglet Volumes. Sur cette fenêtre nous pouvons vérifier le Type de partition.
S'il est bien au format GPT, nous pouvons continuer ce wiki, le cas échéant il faudra créer une partition au format GPT.
Dans ce chapitre nous allons redimensionner le disque 0 qui se trouve être dans notre exemple un disque SDD de manière à en faire profiter notre futur Debian (rapidité au démarrage et d’excursion). Mais on pourrai très bien faire avec le disque 1 sauf que dans notre exemple celui-ci est du type HDD et qu'on ne pourras pas profité des même performance qu'un disque SDD“
Dans Gestion des disques, localisons la partition du système Windows (en général C:)
Faisons un Clic droit sur cette partition puis Réduire le volume
Patientons un instant, puis nous verrons que Windows nous propose de la réduire de moitié, cliquons sur Réduire.
Maintenant nous pouvons voir que le disque 0 a de l'espace libre pour notre future Debian.
Redémarrons notre ordinateur avec notre clé USB d'installation.
En démarrant sur l'installeur, on commence par le sélecteur du mode d'installation:
Lors du lancement, l'installeur propose plusieurs modes d'installation:
Pour les ordinateurs en 32 bits
Pour les ordinateurs en 64 bits
Comme la majorité des ordinateurs actuels sont en 64 bit nous allons choisir l' option 64 bit graphical install.
Étape 1: Sélection de la langue
Choisissons la langue de notre choix en principe “Français”.
Étape 2: Choix de la situation géographique
Choisissons un pays.
Étape 3: Configurer le clavier
Choisissons le type de clavier de notre ordinateur.
Étape 4: Configuration de base et du réseau
Maintenant il devrait y avoir plusieurs étapes qui se déroulent de manière automatique pour faire simple c'est l'installation de la base du système et de l'établissement du réseau internet, c'est pourquoi nous attarderons pas la-dessus plus longtemps, mais voici ce que nous pourrions voir à l'écran:
Cependant si une fenêtre, intitulée “Configurer le réseau” nous demande de choisir l'interface réseau et vu que normalement nous avons une connexion Ethernet nous devrions choisir eth0.
Étape 5: Configurer le nom du système
Entrons le nom qui identifiera notre machine.
Étape 6: Configurer un nom de Domaine (si nécessaire)
Ne rien mettre si nous ne savons pas.
Étape 7: Création du compte root
Entrons le mot de passe root/administrateur, il est important de le retenir ou même de le noter à quelque part, il sera utile plus tard. Attention à le garder secret…
Étape 8: Création du premier utilisateur
Entrons le nom de l'utilisateur.
Étape 9: Mot de passe pour le premier utilisateur
Entrons le mot de passe de l'utilisateur, il est important de le retenir ou même de le noter quelque part, il sera utile plus tard, comme pour nous loguer sur notre session Debian.
Nous voici à la partie la plus délicate de ce wiki, mais rien de bien compliqué. Pour poursuivre faisons un double clic sur Manuel
Nous allons devoir créer 3 voir 4 partitions (selon les cas) qui auront chacune une fonction bien spécifique pour le fonctionnement de notre Debian.
Mais ou allons-nous créer ces fameuses partition? La réponse est est simple, sur l'espace qu'on avait libérer au chapitre “Libérer de l'espace pour Debian”.
Faisons un double clic sur l'espace libre que nous avons créer au chapitre “Libérer de l'espace pour Debian”. Qui correspond dans notre exemple au 126.7 GB d'espace libre.
Sur cet exemple on peut voir qu'il y a d'autres espaces libres mais si on analyse bien leurs tailles, on se rends compte que ces espaces libres sont bien trop petits pour pouvoir recueillir un système qui lui fait plusieurs GB.
Maintenant faisons un double clic sur Partitionner automatiquement l'espace disponible.
Sur cette fenêtre nous avons trois choix:
Bien que recommandé pour les débutants nous opterons pour la deuxième option Partition /home séparée.
Et comme par magie nos partitions ont été créé !
Dans le rectangle rouge nous pouvons voir les partitions racine (/), swap et /home. Quant à la partition EFI dans ce cas là et comme dans la majorité des cas elle n'a pas été créer car celle de Windows suffit.
Voilà qui est fait! Nous pouvons aller directement voir la suite de ce wiki au chapitre “Validation du partitionnement ” afin de terminer notre installation.
Dans cette section non allons créer manuellement nos partitions de manière à choisir nous même certaines options comme par exemple leurs tailles, formats… Si nous sentons pas à l'aise pour effectuer ces opérations la section “Partitionner automatiquement l'espace disponible” (ci-dessus) peut être une solution.
Création d'une nouvelle partition EFI
Création d'une nouvelle partition système: la racine (/)
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)
Le swap est le prolongement de la RAM sur le disque dur, le plus souvent on choisira une taille de swap qui fait le double de celle de la RAM.
Après l'affectation à la nouvelle partition, l'installeur propose une partition automatique pour le dossier utilisateur (/home) mais nous on veut une partition swap !
Pour ce faire double clique sur Utiliser comme: pour passer le système de fichier de EXT4 à Espace d’échange swap.
Si tout ok, double clic sur Fin de paramétrage de cette partition
Création de la partition contenant les dossiers Utilisateurs (/home)
Pour le /home, nous allons utiliser le reste d'espace libre
On garde les paramètres par défaut avec un point de montage en /home et le système de fichiers par défaut EXT4
Si tout ok, double clic sur Fin de paramétrage de cette partition
Validation du partitionnement
Création du partitionnement sur le disque
ATTENTION !
Utilisation d'un dépôt miroir
Un dépôt miroir est un serveur informatique accessible qui héberge l'ensemble des paquets Debian. Si vous ne disposez pas de tous les CD, Debian viendra piocher les logiciels ou paquets dont vous avez besoin sur des serveurs miroirs.
Il existe des serveurs dépôts dans le monde entier, chacun étant une copie de l'autre (miroir). Dans cet exemple nous sélectionnerons “oui” et choisirons dans les cartons qui suivent un miroir FTP situé en France, accessible depuis internet.
Choix du pays dans lequel se trouve le miroir
Choix du serveur hébergeant le miroir
Celui par défaut est souvent un bon choix.
Configuration d'un serveur mandataire “ou proxy” si nécessaire
A laisser vide, si vous ne savez pas.
Participation ou pas au statistique Debian
Cela peut être utile pour la communauté mais c'est sans obligation.
Sélection des logiciels
A laisser par défaut, si vous ne savez pas.
Maintenant nous allons devoir opter pour un ou plusieurs environnements de Bureau selon notre choix ou notre curiosité. Il faut savoir que l'installation d'un environnement de Bureau peut se faire après l'installation de Debian, il suffira alors d'installer le paquet qui lui correspondra.
Installation des paquets
C'est le moment de faire une pause, le téléchargement et l'installation des paquets peut prendre un certain temps en fonction de la puissance de votre machine et du débit de votre connexion internet
On termine et on relance l'ordinateur
On termine en pensant à retirer le CD ou la clé USB pour éviter de retomber sur l'installeur au redémarrage.
Premier démarrage de Debian
Le sélecteur de démarrage Grub:
L'ouverture de session:
L'interface:
Si tout c'est bien passé nous avons maintenant un Debian d'installer en dual-boot avec Windows !
Si en cas de Dualboot (Windows + Debian), le système ne boot pas sur le Grub mais directement sur Windows, voici une astuce.
Une fois l'installation de Debian terminée, retournons sur Windows, pressons les touches ⊞ Win + X et sélectionnons Invite de commandes (admin) afin de lancer une console en mode administrateur.
Saisissons cette commande qui modifie l'ordre de démarrage.
bcdedit /set {bootmgr} path EFI\debian\grubx64.efi
Quittons Windows et redémarrons et normalement le menu Grub doit s'afficher.
Si nous voulons rétablir le démarrage par défaut sur Windows comme au départ. Retournons sur Windows, pressons les touches ⊞ Win + X et sélectionnons Invite de commandes (admin) afin de lancer une console en mode administrateur Saisissons la commande :
bcdedit /set {bootmgr} path \EFI\Microsoft\Boot\bootmgfw.efi
Redémarrons.
(en construction)
Provisoirement voir ce lien: https://wiki.debian.org/fr/NvidiaGraphicsDrivers
ou celui-ci (pour les cartes graphiques supportées par la version 352.79) poste 23: https://debian-facile.org/viewtopic.php?pid=186166#p186166