diff options
author | Libreboot Contributor <contributor@libreboot.org> | 2020-03-18 17:20:14 +0100 |
---|---|---|
committer | Libreboot Contributor <contributor@libreboot.org> | 2020-03-18 17:20:27 +0100 |
commit | 0f6ea1c9e0a25a9b7546f96f27cef8841f0d09b5 (patch) | |
tree | a28b9403123dd6204eb2dd8cb44eada12c169f4b /i18n/fr_FR/docs/bsd | |
parent | 6e5bdd1271059a9c61c80b21001fd3d14ff25045 (diff) | |
download | librebootfr-0f6ea1c9e0a25a9b7546f96f27cef8841f0d09b5.tar.gz librebootfr-0f6ea1c9e0a25a9b7546f96f27cef8841f0d09b5.zip |
Creation of i18n folder containing translations of the libreboot project. Added french one, not finished.
Diffstat (limited to 'i18n/fr_FR/docs/bsd')
-rw-r--r-- | i18n/fr_FR/docs/bsd/freebsd.md | 150 | ||||
-rw-r--r-- | i18n/fr_FR/docs/bsd/index.md | 20 | ||||
-rw-r--r-- | i18n/fr_FR/docs/bsd/netbsd.md | 165 | ||||
-rw-r--r-- | i18n/fr_FR/docs/bsd/openbsd.md | 197 |
4 files changed, 532 insertions, 0 deletions
diff --git a/i18n/fr_FR/docs/bsd/freebsd.md b/i18n/fr_FR/docs/bsd/freebsd.md new file mode 100644 index 00000000..ef7163fd --- /dev/null +++ b/i18n/fr_FR/docs/bsd/freebsd.md @@ -0,0 +1,150 @@ +--- +title: Comment installer FreeBSD sur un système Libreboot +x-toc-enable: true +... + +Cette section se rapporte à la préparation, au démarrage et à l'installation +de FreeBSD sur votre système libreboot, en utilisant rien de plus qu'une clef +USB (et *dd*). Ça a été seulement testé sur un Lenovo ThinkPad x200. + +C'est attendu que vous utilisiez le mode texte dans libreboot (txtmode images), pour +le début du processus de démarrage dans FreeBSD. *Démarrer l'installateur résulte en +un affichage rouge clignotant, et ne démarre pas.* + +Les remerciements vont à ioxcide dans [ce billet Reddit](https://www.reddit.com/r/BSD/comments/53jt70/libreboot_and_bsds/) +pour les instructions initiales. + +À FAIRE: tester FreeBSD de manière plus extensive, et s'assurer qu'il est fonctionnel (et corriger +celà le cas échéant). Les instructions sont données ici pour démarrer et installer FreeBSD, mais +nous ne sommes par sûr si oui ou non c'est en ce moment complétement compatible avec libreboot. + +* Cette section est seulement pour la charge utile GRUB. Pour depthcharge (utilisée sur +les appareils CrOs dans libreboot), les instructions attendent d'être écrite.* + +freebsd.img est l'image d'installation pour FreeBSD. Adaptez concordément +le nom de fichier, pour n'importe quelle version de FreeBSD que vous utilisez. + + +Préparer la clef USB (dans FreeBSD) +---------------------------------- + +[Cette page](https://www.freebsd.org/doc/handbook/bsdinstall-pre.html) sur le +site web de FreeBSD montre comment créer une clef USB démarrable pour installer +FreeBSD. Utilisez le *dd* sur cette page. + +Préparer la clef USB (dans NetBSD) +--------------------------------- + +[Cette page](https://wiki.netbsd.org/tutorials/how_to_install_netbsd_from_an_usb_memory_stick/) +sur le site web de NetBSD montre comment créer une clef USB NetBSD démarrable, depuis NetBSD même. +Vous devriez utilisé la méthode *dd* documentée sur cette page; vous pouvez utiliser celle-ci avec +n'importe quelle ISO (image disque), incluant FreeBSD. + +Préparer la clef USB (sur LibertyBSD ou OpenBSD) +------------------------------------------------ + +Si vous avez téléchargé votre ISO sur un système LibertyBSD ou OpenBSD, voici +comment créer une clef USB FreeBSD démarrable: + +Connectez la clef USB. Regardez la sortie de dmesg: + + $ dmesg | tail + +Vérifiez et confirmer de quel USB il s'agit si vous pensez par exemple que c'est sd3: + + $ disklabel sd3 + +Vérifiez qu'elle n'a pas été montée automatiquement. Sinon, on l'éjecte. Par exemple : + + $ doas umount /dev/sd3i + +dmesg vous a dit quel appareil/bloc c'était, donc on peut maintenant écrire par dessus +l'installateur FreeBSD grâce à dd. Par exemple : + + $ doas dd if=freebsd.img of=/dev/rsdXc bs=1M; sync + +Vous devriez être maintenant capable de démarrer l'installeur depuis votre clef USB. +Continuez à lire pour apprendre comme faire ceci. + +Préparer la clef USB (dans GNU+Linux) +------------------------------------ + +Si vous avez téléchargé votre ISO sur système GNU+Linux, voici comment créer la +clef USB NetBSD démarrable: + +Connectez la clef USB. Vérifiez la sortie de dmesg: + + $ dmesg + +Jetez un coup d'oeil à lsblk pour voir de quel disque il s'agit: + + $ lsblk + +Vérifiez qu'il n'a pas été monté automatiquement et si c'était le cas, démontez-le. Par example: + + $ sudo umount /dev/sdX\* + # umount /dev/sdX\* + +dmesg vous a dit de quel appareil il s'agit. Écraser en écriture le disque en écrivant l'ISO de la distrib dessus grâce à dd. Par example: + + $ sudo dd if=freebsd.img of=/dev/sdX bs=8M; sync + # dd if=freebsd.img of=/dev/sdX bs=8M; sync + +Vous devriez être maintenant capable de démarrer l'installateur depuis votre clef USB. +Continuez à lire pour des informations sur comment faire celà. + + +Installer FreeBSD sans le chiffrement de tout le disque +----------------------------------------------- + +Tapez sur C pour avoir accès à la console GRUB. + + grub> kfreebsd (usb0,gpt3)/boot/kernel/kernel + grub> set FreeBSD.vfs.mountfrom=ufs:/dev/da1p3\ + grub> boot + +Ça fera démarrer dans l'installateur FreeBSD. Suivez la procédure d'installation +normale pour FreeBSD. + +Installer FreeBSD avec le chiffrement de tout le disque +-------------------------------------------- + +TODO + +Démarrer +------- + +TODO + +Configurer Grub +---------------- + +TODO + +Dépannage +=============== + +La majorité de ces problèmes arrivent lors de l'utilisation de libreboot avec le 'text mode' +de coreboot au lieu du framebuffer de coreboot. Ce mode est utile pour démarrer +des charges +utiles comme memtest86+ qui s'attendent au mode texte, mais pour NetBSD celà peut être +problématique car il essaye d'alterner sur un framebuffer qui n'existe pas. + +Dans la plupart des cas, vous devriez utiliser les images ROM vesafb. Exemple du nom de fichier: +libreoot\_ukdvorak\_vesafb.rom. + +Ne démarrera pas... quelque chose à propos d'un fichier non trouvé +--------------------------------------------- + +Vos noms d'appareils (p.e usb0, usb1, sd0, sd1, wd0, ahci0, hd0, etc) et nombre +peuvent +différer. Utilisez l'autocomplétion de TAB. + +Copyright © 2016 Leah Rowe <info@minifree.org>\ +Copyright © 2016 Scott Bonds <scott@ggr.com>\ + +Permission est donnée de copier, distribuer et/ou modifier ce document +sous les termes de la Licence de documentation libre GNU version 1.3 ou +quelconque autre versions publiées plus tard par la Free Software Foundation +sans Sections Invariantes, Textes de Page de Garde, et Textes de Dernière de Couverture. +Une copie de cette license peut être trouvé dans [fdl-1.3.md](fdl-1.3.md). diff --git a/i18n/fr_FR/docs/bsd/index.md b/i18n/fr_FR/docs/bsd/index.md new file mode 100644 index 00000000..8864b5a1 --- /dev/null +++ b/i18n/fr_FR/docs/bsd/index.md @@ -0,0 +1,20 @@ +--- +title: Projets BSD +... + +Cette section se rapporte sur le 'comment' des projets BSD: préparer des USBs démarrables, changer +le menu par défaut de GRUB et ainsi de suite. + +* Cette section est seulement pour la charge utile GRUB. Pour depthcharge, +les instructions attendent d'être écrite.* + +- [Comment installer NetBSD sur un système libreboot](netbsd.msd) +- [Comment installer LibertyBSD ou OpenBSD sur un système libreboot](openbsd.md) +- [Comment installer FreeBSD sur un système libreboot](freebsd.md) + +Copyright © 2016 Scott Bonds <scott@ggr.com>\ +Permission est donnée de copier, distribuer et/ou modifier ce document +sous les termes de la Licence de documentation libre GNU version 1.3 ou +quelconque autre versions publiées plus tard par la Free Software Foundation +sans Sections Invariantes, Textes de Page de Garde, et Textes de Dernière de Couverture. +Une copie de cette license peut être trouvé dans [fdl-1.3.md](fdl-1.3.md). diff --git a/i18n/fr_FR/docs/bsd/netbsd.md b/i18n/fr_FR/docs/bsd/netbsd.md new file mode 100644 index 00000000..b7354f1f --- /dev/null +++ b/i18n/fr_FR/docs/bsd/netbsd.md @@ -0,0 +1,165 @@ +--- +title: Comment installer NetBSD sur un système Libreboot ? +x-toc-enable: true +... + +Cette section concernent la préparation, le démarrage et l'installation de +NetBSD sur votre système Libreboot en utilisant rien de plus qu'une clef USB (et *dd*). +Ça a seulement été testé sur un ThinkPad X60 librebooté. + +C'est attendu que vous utilisiez le mode texte dans libreboot (txtmode images), pour +le début du processus de démarrage dans NetBSD.*La veille/hibernation est dysfonctionnelle +d'après au moins un utilisateur.* + +Grâce à ioxcide dans [ce post Reddit](https://www.reddit.com/r/BSD/comments/53jt70/libreboot_and_bsds/) +pour les instructions initiales. + +*Cette section est seulement pour la charge utile GRUB. Pour depthcharge (utilisé sur les appareils +ChromeOS dans libreboot) des instructions attendent encore d'être écrites dans la documentation de libreboot.* + +netbsd.iso est l'image d'installation pour NetBSD. Adaptez le nom de fichier +en accordance selon votre version de NetBSD. + +Préparer la clef USB (dans NetBSD) +--------------------------------- + +[Cette page](https://wiki.netbsd.org/tutorials/how_to_install_netbsd_from_an_usb_memory_stick/) +sur le site web de NetBSD montre comment créer une clef USB NetBSD démarrable +depuis NetBSD même. Vous devriez utiliser la méthode *dd* documentée là-bas. + +Préparer la clef USB (dans FreeBSD) +---------------------------------- +[Cette page](https://www.freebsd.org/doc/handbook/bsdinstall-pre.html) sur le +site web FreeBSD montre comment créer une clef USB démarrable pour installer FreeBSD. +Utilisez le *dd* sur cette page. Vous pouvez aussi utiliser les mêmes instructions avec une +image ISO de NetBSD. + +Préparer la clef USB (sur LibertyBSD ou OpenBSD) +------------------------------------------------ + +Si vous avez téléchargé votre ISO sur un système LibertyBSD ou OpenBSD, voici +comment créer une clef USB NetBSD démarrable: + +Connectez la clef USB. Regardez la sortie de dmesg: + + $ dmesg | tail + +Vérifiez et confirmer de quel USB il s'agit si vous pensez par exemple que c'est sd3: + + $ disklabel sd3 + +Vérifiez qu'elle n'a pas été montée automatiquement. Sinon, on l'éjecte. Par exemple : + + $ doas umount /dev/sd3i + +dmesg vous a dit quel appareil/bloc c'était, donc on peut maintenant écrire par dessus +l'installateur FreeBSD grâce à dd. Par exemple : + + $ doas dd if=freebsd.img of=/dev/rsdXc bs=1M; sync + +Vous devriez être maintenant capable de démarrer l'installeur depuis votre clef USB. +Continuez à lire pour apprendre comment faire celà. + +Préparer la clef USB (dans GNU+Linux) +------------------------------------ + +Si vous avez téléchargé votre ISO sur système GNU+Linux, voici comment créer la clef USB NetBSD démarrable: + +Connectez la clef USB. Vérifiez la sortie de dmesg: + + $ dmesg + +Jetez un coup d'oeil à lsblk pour voir de quel disque il s'agit: + + $ lsblk + +Vérifiez qu'il n'a pas été monté automatiquement et si c'était le cas, démontez le. Par +example: + + $ sudo umount /dev/sdX\* + # umount /dev/sdX\* + +dmesg vous a dit de quel appareil il s'agit. Écraser en écriture le disque en écrivant +l'ISO de la distrib dessus grâce à dd. Par example: + + $ sudo dd if=install60.fs of=/dev/sdX bs=8M; sync + # dd if=netbsd.iso of=/dev/sdX bs=8M; sync + +Vous devriez être maintenant capable de démarrer l'installateur depuis votre clef USB. +Continuez à lire pour des informations sur comment faire celà. + +Installer NetBSD sans le chiffrement de tout le disque +---------------------------------------------- + +Vous allez peut-être avoir besoin d'un clavier USB externe durant l'installation. +Tapez sur C pour avoir accès à la console GRUB. + + grub> knetbsd -r sd0a (usb0,netbsd1)/netbsd + grub> boot + +Ça fera démarrer dans l'installateur NetBSD. Suivez la procédure d'installation normale +pour NetBSD. + +Installer NetBSD avec le chiffrement de tout le disque +------------------------------------------- + +TODO + +Démarrer +------- + +Tapez sur C dans grub pour avoir accès à la ligne de commande. + + grub> knetbsd -r wd0a (ahci0,netbsd1)/netbsd + grub> boot + +NetBSD commencera à démarrer. Youpi ! + +Configurer GRUB +---------------- + +Si vous ne voulez pas allez dans la ligne de commande GRUB et taper +une commande pour démarrer NetBSD à chaque fois, vous pouvez créer un +fichierde configuration GRUB qui sera au courant de votre installation +NetBSD et qui sera utilisé automatiquement par libreboot. + +Sur votre partition racine NetBSD, créez le répertoire /grub et ajoutez-y le +fichier `libreboot_grub_cfg`. Rajoutez-y ces lignes : + + default=0 + timeout=3 + + menuentry "NetBSD" { + knetbsd -r wd0a (ahci0,netbsd1)/netbsd + } + +La prochaine fois que vous démarreriez, vous verrez le vieux menu GRUB pour quelque +secondes, puis vous allez voir un nouveau menu avec seulement NetBSD dans la liste. Après +3 secondes NetBSD démarrera ou vous pouvez presser Entrée pour démarrer. + +Dépannage +=============== + +La majorité de ces problèmes arrivent lors de l'utilisation de libreboot avec le 'text mode' +de coreboot au lieu du framebuffer de coreboot. Ce mode est utile pour démarrer des charges +utiles comme memtest86+ qui s'attendent au mode texte, mais pour NetBSD celà peut être +problématique car il essaye d'alterner sur un framebuffer qui n'existe pas. + +Dans la plupart des cas, vous devriez utiliser les images ROM vesafb. Exemple du nom de fichier: +libreoot\_ukdvorak\_vesafb.rom. + +Ne démarrera pas... quelque chose à propos d'un fichier non trouvé +--------------------------------------------- + +Vos noms d'appareils (p.e usb0, usb1, sd0, sd1, wd0, ahci0, hd0, etc) et nombre peuvent +différer. Utilisez l'autocomplétion de TAB. + +Copyright © 2016 Leah Rowe <info@minifree.org>\ +Copyright © 2016 Scott Bonds <scott@ggr.com>\ + + +Permission est donnée de copier, distribuer et/ou modifier ce document +sous les termes de la Licence de documentation libre GNU version 1.3 ou +quelconque autre versions publiées plus tard par la Free Software Foundation +sans Sections Invariantes, Textes de Page de Garde, et Textes de Dernière de Couverture. +Une copie de cette license peut être trouvé dans [fdl-1.3.md](fdl-1.3.md). diff --git a/i18n/fr_FR/docs/bsd/openbsd.md b/i18n/fr_FR/docs/bsd/openbsd.md new file mode 100644 index 00000000..20937e32 --- /dev/null +++ b/i18n/fr_FR/docs/bsd/openbsd.md @@ -0,0 +1,197 @@ +--- +title: How to install LibertyBSD or OpenBSD on a libreboot system +x-toc-enable: true +... + +NOTE: Ce guide a été écrit pour OpenBSD par la personne qui y a contribué, mais +le projet libreboot recommande LibertyBSD. LibertyBSD est une version d'OpenBSD +sans logiciel propriétaire dans les dépôts logiciels (OpenBSD distribue des blobs de micrologiciels +pour des périphériques dans son kernel). Allez sur le [site web de LibertyBSD](http://libertybsd.net/) +-- À FAIRE: tester sur LibertyBSD et donner la priorité aux explications dans ce guide. + +Cette section concerne la préparation, le démarrage et l'installation d'OpenBSD +sur votre système libreboot en utilisant rien de plus qu'un clef USB (et `dd`). +Ça a seulement été testé sur un ThinkPad X200 de chez Lenovo. + +*Cette section est seulement pour la charge utile GRUB. Pour depthcharge (utilisé +sur les appareils CrOS dans libreboot), des instructions ont encore à être écrite +dans la documentation libreboot.* + +install61.fs est l'image d'installation pour OpenBSD 6.1. Adaptez le nom du +fichier en concordance avec ce que vous avez, que ce soit pour une version +différente d'OpenBSD ou LibertyBSD. + +Préparer la clef USB (sur LibertyBSD ou OpenBSD) +------------------------------------------------ + +Si vous avez téléchargé votre ISO sur un système LibertyBSD ou OpenBSD, voici +comment créer une clef USB FreeBSD démarrable: + +Connectez la clef USB. Regardez la sortie de dmesg: + + $ dmesg | tail + +Vérifiez et confirmer de quel USB il s'agit si vous pensez par exemple que c'est sd3: + + $ disklabel sd3 + +Vérifiez qu'elle n'a pas été montée automatiquement. Sinon, on l'éjecte. Par exemple : + + $ doas umount /dev/sd3i + +dmesg vous a dit quel appareil/bloc c'était, donc on peut maintenant écrire par dessus +l'installateur FreeBSD grâce à dd. Par exemple : + + $ doas dd if=freebsd.img of=/dev/rsdXc bs=1M; sync + +Vous devriez être maintenant capable de démarrer l'installeur depuis votre clef USB. +Continuez à lire pour apprendre comme faire ceci. + +Continuez à lire pour des informations sur comment faire celà. + + +Préparer la clef USB (dans NetBSD) +--------------------------------- + +[Cette page](https://wiki.netbsd.org/tutorials/how_to_install_netbsd_from_an_usb_memory_stick/) +sur le site web de NetBSD montre comment créer une clef USB NetBSD démarrable, depuis NetBSD même. +Vous devriez utilisé la méthode *dd* documentée sur cette page; vous pouvez utiliser celle-ci avec +n'importe quelle ISO (image disque), incluant FreeBSD. + + +Préparer la clef USB (dans FreeBSD) +---------------------------------- + +[Cette page](https://www.freebsd.org/doc/handbook/bsdinstall-pre.html) sur le +site web de FreeBSD montre comment créer une clef USB démarrable pour installer +FreeBSD. Utilisez le *dd* sur cette page. + + +Préparer la clef USB (dans GNU+Linux) +------------------------------------ + +Si vous avez téléchargé votre ISO sur système GNU+Linux, voici comment créer la +clef USB NetBSD démarrable: + +Connectez la clef USB. Vérifiez la sortie de dmesg: + + $ dmesg + +Jetez un coup d'oeil à lsblk pour voir de quel disque il s'agit: + + $ lsblk + +Vérifiez qu'il n'a pas été monté automatiquement et si c'était le cas, démontez-le. Par example: + + $ sudo umount /dev/sdX\* + # umount /dev/sdX\* + +dmesg vous a dit de quel appareil il s'agit. Écraser en écriture le disque en écrivant l'ISO de la distrib dessus grâce à dd. Par example: + + $ sudo dd if=freebsd.img of=/dev/sdX bs=8M; sync + # dd if=freebsd.img of=/dev/sdX bs=8M; sync + +Vous devriez être maintenant capable de démarrer l'installateur depuis votre clef USB. + +Installer OpenBSD sans le chiffrement de tout le disque +----------------------------------------------- + +Pressez C dans GRUB pour avoir accés à la ligne de commande: + + grub> kopenbsd (usb0,openbsd1)/6.1/amd64/bsd.rd + grub> boot + +Ça commencera le démarrage sur l'installateur d'OpenBSD. Suivez la +procédure normale pour installer OpenBSD. + +Installer OpenBSD avec le chiffrement de tout le disque +-------------------------------------------- + +Ne marche pas. Vous pouvez modifier la procédure ci-dessus (installation +sans chiffrement pour installer OpenBSD avec le chiffrement de tout le disque, et +ça semble marcher mais il n'est pas encore très clair de savoir comment *démarrer* +une installation OpenBSD+CDE(Chiffrement du Disque en Entier) en utilisant libreboot+GRUB2. +Si vous réusissez à le faire marcher, merci de nous le faire savoir. + +Si vous démarrez en mode texte (le mode tampon d'image, aussi appelé framebuffer, peut +aussi marcher), il serait possible de chainload le chargeur d'amorçage d'OpenBSD ou LibertyBSD +depuis la section MBR sur le périphérique de stockage interne. De cette façon, il serait possible +de démarrer avec une installation OpenBSD ou LibertyBSD chiffrée. Merci de nous le faire savoir +(les informations de contact sont sur la page d'accueil de libreboot) si vous arrivez à le faire +marcher de cette façon. + +Alternativement, il serait bon de porter OpenBSD soit nativement en tant qu'une charge +utile coreboot, ou de le porter dans libpayload (bibliothèque de charge utile dans coreboot; +elle a une bibliothèque C basique et quelques fonctions pour certaines opérations p.e. texte/bitmap). +*Celà serait ideal parce qu'alors il serait possible de démarrer de vraiment +démarrer une installation OpenBSD ou LibertyBSD entièrement chiffrée, en mettant +tout dans la puce de flashage.* + +Alternativement, modifier GRUB pour supporter le démarrage d'installations +OpenBSD entièrement chiffrées serait possible, mais probablement pas faisable; +c'est une base de code totalement étrangère au projet OpenBSD, pas étroitement +intégrée et le chargeur d'amorçage d'OpenBSD marche déjà. + +Démarrer +------- + +Tapez C dans GRUB pour accéder à la ligne de commande : + + grub> kopenbsd -r sd0a (ahci0,openbsd1)/bsd + grub> boot + +Et OpenBSD démarrera. Hourra ! + +Configurer Grub +---------------- + +Si vous ne voulez pas rentrer dans la console GRUB et taper +une commande pour démarrer OpenBSD à chaque fois, vous pouvez créer un +fichier de configuration GRUB qui sera au courant de votre installation +OpenBSD et qui sera utilisé automatiquement par libreboot. + +Sur votre partition racine NetBSD, créez le répertoire `/grub` et ajoutez-y le +fichier `libreboot_grub_cfg`. Rajoutez-y ces lignes : + + default=0 + timeout=3 + + menuentry "OpenBSD" { + kopenbsd -r wd0a (ahci0,openbsd1)/openbsd + } + +Si votre installation OpenBSD utilise une table de partition GPT, utilisez la +partition `gpt4` à la place de `openbsd1`. + +La prochaine fois que vous démarreriez, vous verrez le vieux menu GRUB pour quelque +secondes, puis vous allez voir un nouveau menu avec seulement OpenBSD dans la liste. Après +3 secondes OpenBSD démarrera ou vous pouvez presser Entrée pour démarrer. + +Dépannage +=============== + +La majorité de ces problèmes arrivent lors de l'utilisation de libreboot avec le 'text mode' +de coreboot au lieu du framebuffer de coreboot. Ce mode est utile pour démarrer +des charges +utiles comme memtest86+ qui s'attendent au mode texte, mais pour OpenBSD celà peut être +problématique car il essaye d'alterner sur un framebuffer qui n'existe pas. + +Dans la plupart des cas, vous devriez utiliser les images ROM vesafb. Exemple du nom de fichier: +libreoot\_ukdvorak\_vesafb.rom. + +Ne démarrera pas... quelque chose à propos d'un fichier non trouvé +--------------------------------------------- + +Vos noms d'appareils (p.e usb0, usb1, sd0, sd1, wd0, ahci0, hd0, etc) et nombre +peuvent +différer. Utilisez l'autocomplétion de TAB. + +Copyright © 2016 Leah Rowe <info@minifree.org>\ +Copyright © 2016 Scott Bonds <scott@ggr.com>\ + + +Permission est donnée de copier, distribuer et/ou modifier ce document +sous les termes de la Licence de documentation libre GNU version 1.3 ou +quelconque autre versions publiées plus tard par la Free Software Foundation +sans Sections Invariantes, Textes de Page de Garde, et Textes de Dernière de Couverture. +Une copie de cette license peut être trouvé dans [fdl-1.3.md](fdl-1.3.md). |