Différences
Ci-dessous, les différences entre deux révisions de la page.
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 | ||
tutoriel:deplacer_home [Le 10/02/2014, 00:53] 88.182.46.9 [Déplacement du /home] |
tutoriel:deplacer_home [Le 23/11/2017, 22:30] 88.191.199.69 [Procédure avec peu de commentaires] |
||
---|---|---|---|
Ligne 7: | Ligne 7: | ||
===== Préambule ===== | ===== Préambule ===== | ||
- | Les modifications présentées ici ne sont **pas** triviales. Elles nécessitent un minimum de soin. Afin d'éviter tout problème, **[[:tutoriel:sauvegarder_home|faites une sauvegarde de votre répertoire /home]]** (préférablement sur un support externe, comme un disque dur USB, une clé USB ou un DVD-R par exemple) avant toute manipulation ! En cas d'erreur, il est possible que vous perdiez l'intégralité de vos fichiers importants et de votre configuration actuelle ; il est donc important d'en conserver une copie accessible à tout moment. | + | **Déplacer le dossier HOME est fastidieux et dangereux. Si votre situation le permet vous devriez d'abord envisager de choisir sa localisation au moment de l'installation! Cette manipulation est simplissime: Installer ubuntu manuellement (choisir "faire autre chose" lors de l'installation). Puis, en plus de choisir la taille et l'emplacement du "SWAP" et du "/", indiquer la partition que vous souhaitez utiliser pour le HOME en lui donnant l'étiquette "/HOME"...** |
+ | |||
+ | Si votre situation nécessite un déplacement du HOME sans réinstaller ubuntu: | ||
+ | Les modifications présentées ici ne sont **pas** triviales. Elles nécessitent un minimum de soin. Afin d'éviter tout problème, **[[:tutoriel:sauvegarder_home|faites une sauvegarde de votre répertoire /home]]** (préférablement sur un support externe, comme une partition **linux**((Comme les systèmes de fichiers de Windows (fat32, exfat, ntfs) n'enregistrent pas les droits des fichiers linux, une sauvegarde sur un de ces systèmes corromprait la sauvegarde.)) d'un disque dur externe ou d'une clé USB ou un DVD-R par exemple) avant toute manipulation ! En cas d'erreur, il est possible que vous perdiez l'intégralité de vos fichiers importants et de votre configuration actuelle ; il est donc important d'en conserver une copie accessible à tout moment. | ||
===== Public ===== | ===== Public ===== | ||
Ligne 17: | Ligne 20: | ||
* des répertoires cachés avec la configuration de vos logiciels et de votre interface. | * des répertoires cachés avec la configuration de vos logiciels et de votre interface. | ||
- | __Avantages d'un /home séparé __ : | + | ==== Avantages d'un /home séparé ==== |
Les avantages d'un /home séparé sont : | Les avantages d'un /home séparé sont : | ||
- | * la possibilité de partager ce /home entre plusieurs distributions GNU/Linux utilisant les mêmes versions de logiciels (par exemple Ubuntu 10.04 et Kubuntu 10.04), ou bien n'importe quelles versions si vous utilisez des noms d'utilisateurs différents((attention, les configurations de logiciels peuvent ne pas être rétro-compatibles, [[http://forum.ubuntu-fr.org/viewtopic.php?pid=3886346#p3886346|exemples]].)). | + | * la possibilité de partager ce /home entre plusieurs distributions GNU/Linux utilisant les mêmes versions de logiciels, ou bien n'importe quelles versions si vous utilisez des noms d'utilisateurs différents((attention, les configurations de logiciels peuvent ne pas être rétro-compatibles, [[http://forum.ubuntu-fr.org/viewtopic.php?pid=3886346#p3886346|exemples]].)). |
- | * Possibilité de crypter vos données avec [[:cryptsetup]] | + | * Possibilité de chiffrer vos données avec [[:cryptsetup]] |
* il est plus facile de récupérer un /home séparé en cas de mauvaise manipulation sur la partition racine (/). | * il est plus facile de récupérer un /home séparé en cas de mauvaise manipulation sur la partition racine (/). | ||
- | **Note :** depuis Ubuntu 8.04 LTS, il n'est plus indispensable d'avoir un /home séparé pour réinstaller Ubuntu sans perdre son /home. ([[:reinstallation_ubuntu|plus d'informations]]). | + | **Note :** Il n'est pas indispensable d'avoir un /home séparé pour réinstaller Ubuntu sans perdre son /home. ([[:reinstallation_ubuntu|plus d'informations]]). |
+ | |||
+ | ==== Inconvénients d'un /home séparé ==== | ||
- | __Inconvénients d'un /home séparé__ : | ||
* Complexité relative de la démarche | * Complexité relative de la démarche | ||
* Il faut réserver de la place libre sur la partition (/) qui contient Ubuntu (pour les mises à jour ou les ajouts de logiciels), et de la place libre sur la partition /home séparée (pour des ajouts de fichiers). La méthode du /home séparé prend donc plus de place disque. | * Il faut réserver de la place libre sur la partition (/) qui contient Ubuntu (pour les mises à jour ou les ajouts de logiciels), et de la place libre sur la partition /home séparée (pour des ajouts de fichiers). La méthode du /home séparé prend donc plus de place disque. | ||
Ligne 31: | Ligne 36: | ||
- | <note important>La séparation du /home est généralement superflue, voire gênante si vous débutez avec Ubuntu.</note> | + | |
Si le /home séparé vous semble bien adapté à vos besoins (en cas de doute, posez votre question sur [[http://forum.ubuntu-fr.org/viewtopic.php?id=397167|ce forum]]), les **2 démarches** ci-dessous vous permettent d'effectuer cette opération, soit avec le terminal, soit en mode (presque) graphique. | Si le /home séparé vous semble bien adapté à vos besoins (en cas de doute, posez votre question sur [[http://forum.ubuntu-fr.org/viewtopic.php?id=397167|ce forum]]), les **2 démarches** ci-dessous vous permettent d'effectuer cette opération, soit avec le terminal, soit en mode (presque) graphique. | ||
+ | ===== Méthode 1 : Démarche en mode (presque) graphique ===== | ||
- | ===== Méthode 1 : DEMARCHE EN MODE (presque) GRAPHIQUE===== | + | ==== Procédure avec peu de commentaires ==== |
- | + | ||
- | Testé sur Ubuntu 9.10, Ubuntu 12.04 LTS et Gnome, mais devrait fonctionner sous d'autres versions d'Ubuntu, et doit être assez facile à adapter pour KDE. | + | |
- | <note important>Installer le logiciel [[:disk-manager|Disk-Manager]] avant de commencer !</note> | + | |
- | ====Procédure avec peu de commentaires :==== | + | |
- Créer avec votre [[:partitions#comment_creer_et_supprimer_des_partitions_et_des_systemes_de_fichiers|éditeur de partitions]] ([[:Gparted]] par exemple) une partition séparée et l'appeler (étiquette) **newhome**. | - Créer avec votre [[:partitions#comment_creer_et_supprimer_des_partitions_et_des_systemes_de_fichiers|éditeur de partitions]] ([[:Gparted]] par exemple) une partition séparée et l'appeler (étiquette) **newhome**. | ||
- Monter la partition newhome en cliquant dessus dans votre navigateur de fichier (de façon ponctuelle, juste pour pouvoir copier). | - Monter la partition newhome en cliquant dessus dans votre navigateur de fichier (de façon ponctuelle, juste pour pouvoir copier). | ||
- | - Saisir dans un terminal **sudo cp -av /home/* /media/newhome/** ce qui copie le contenu de /home (mais pas le /home lui même) sur la nouvelle partition. | + | - Saisir dans un terminal **sudo cp -av /home/. /media/(nom d'utilisateur)/newhome/** ce qui copie le contenu de /home (mais pas le /home lui même) sur la nouvelle partition. |
- Lancer votre [[:gestionnaire de fichiers]] en [[:sudo|mode administrateur]] (par exemple : ALT+F2 puis **gksudo nautilus**, ou **gksudo nemo** pour linux Mint >=14) et neutraliser l'ancien **/home** en le renommant en **/oldhome**. | - Lancer votre [[:gestionnaire de fichiers]] en [[:sudo|mode administrateur]] (par exemple : ALT+F2 puis **gksudo nautilus**, ou **gksudo nemo** pour linux Mint >=14) et neutraliser l'ancien **/home** en le renommant en **/oldhome**. | ||
- Créer immédiatement via votre [[:gestionnaire de fichiers]] (en [[:sudo|mode administrateur]]) un nouveau répertoire **/home** vide, puis dans celui-ci créez un dossier du nom de votre login. | - Créer immédiatement via votre [[:gestionnaire de fichiers]] (en [[:sudo|mode administrateur]]) un nouveau répertoire **/home** vide, puis dans celui-ci créez un dossier du nom de votre login. | ||
- | - Installer puis lancer [[:Disk-Manager]]. Dans celui-ci, cliquer sur la partition séparée /newhome, cocher la colonne « active » (ce qui permettra à votre nouveau /home de se monter au démarrage), puis cliquez sur le bouton « modifier ». Dans « point de montage », saisissez **/home**. Dans « options », laissez « defaults ». | + | - Lancez l'application 'Disques'. Dans celui-ci, |
+ | - cliquer sur la partition séparée /newhome, | ||
+ | - puis sur la roue dentée 'Autres actions', | ||
+ | - puis sur 'Modifier les options de montages | ||
+ | - Décocher 'Options de montage automatique' | ||
+ | - Changez point de montage pour /home | ||
- Redémarrer le système. Votre /home pointe maintenant sur une partition séparée. | - Redémarrer le système. Votre /home pointe maintenant sur une partition séparée. | ||
Ligne 60: | Ligne 67: | ||
- | ====Procédure très commentée==== | + | ==== Procédure très commentée ==== |
- Installer [[:Gparted]] par la logithèque Ubuntu, ou [[:software-center]] (Application / logitèque Ubuntu / Outils système / Outil de partitionnement Gnome), ou par [[:Synaptic]] (Système / Administration / Gestionnaire de paquet), ou par [[:Apper]] (si vous êtes dans [[:kubuntu]]). | - Installer [[:Gparted]] par la logithèque Ubuntu, ou [[:software-center]] (Application / logitèque Ubuntu / Outils système / Outil de partitionnement Gnome), ou par [[:Synaptic]] (Système / Administration / Gestionnaire de paquet), ou par [[:Apper]] (si vous êtes dans [[:kubuntu]]). | ||
- Installer [[:Disk-Manager]] | - Installer [[:Disk-Manager]] | ||
Ligne 99: | Ligne 107: | ||
Si il ne se lance toujours pas, passez à l'étape 4.3.</note> | Si il ne se lance toujours pas, passez à l'étape 4.3.</note> | ||
- | ===== Méthode 2 : DISK-MANAGER ===== | + | ===== Méthode 2 : disk-manager ===== |
Cette méthode est rapide et simple à exécuter. Elle repose sur l'utilisation de **Disk-Manager**. | Cette méthode est rapide et simple à exécuter. Elle repose sur l'utilisation de **Disk-Manager**. | ||
Ligne 113: | Ligne 121: | ||
==== Déplacement du /home ==== | ==== Déplacement du /home ==== | ||
- | * Copiez le contenu du /home actuel dans le nouveau | + | * Copiez le contenu du /home actuel dans le nouveau : <code>sudo rsync -av /home/ /new.home</code> |
- | <code>sudo rsync -av /home/ /new.home</code> | + | * Vérifiez par sécurité le contenu du futur /home : <code>ls -la /new.home</code> |
- | * Vérifiez par sécurité le contenu du futur /home | + | * Changez ensuite le nom de l'ancien /home en **/old.home** : <code>sudo mv /home /old.home</code> |
- | <code>ls -la /new.home</code> | + | |
- | * Changez ensuite le nom de l'ancien /home en **/old.home** | + | |
- | <code>sudo mv /home /old.home</code> | + | |
* Relancez Disk-Manager pour attribuer le nouveau point de montage **/home** à la partition **sda6** | * Relancez Disk-Manager pour attribuer le nouveau point de montage **/home** à la partition **sda6** | ||
* Redémarrez l'ordinateur. Le nouveau /home est monté et en service. | * Redémarrez l'ordinateur. Le nouveau /home est monté et en service. | ||
Ligne 126: | Ligne 131: | ||
- | + | ===== Méthode 3 : Démarche avec le terminal ===== | |
- | ===== Méthode 3 : DÉMARCHE AVEC LE TERMINAL===== | ||
==== Pré-requis ==== | ==== Pré-requis ==== | ||
Ligne 144: | Ligne 148: | ||
<note tip>Une fois démarré en mode recovery, vous n'aurez plus ni accès au mode graphique, ni accès à Internet. Il est donc nécessaire d'imprimer cette page, ou alors d'avoir deux ordinateurs pour pouvoir suivre les étapes à réaliser sur une autre machine…</note> | <note tip>Une fois démarré en mode recovery, vous n'aurez plus ni accès au mode graphique, ni accès à Internet. Il est donc nécessaire d'imprimer cette page, ou alors d'avoir deux ordinateurs pour pouvoir suivre les étapes à réaliser sur une autre machine…</note> | ||
- | <note important> | + | |
- | Sur ubuntu 12.10, en recovery mode, la partition "/" est monté en read-only. Pour la monter en read-write, il faut utiliser | + | |
- | <code>mount -o rw,remount /</code> | + | |
- | Si on évite cette manipulation, il est impossible de modifier le fichier /etc/fstab | + | |
- | </note> | + | |
==== Étape 1 : Copie ==== | ==== Étape 1 : Copie ==== | ||
Ligne 154: | Ligne 154: | ||
**telinit 1 fait passer le systeme en runlevel 1, sur un serveur distant vous perdrez donc votre connexion SSH, necessitant un reboot materiel, ou le changement d'utilisateur.** | **telinit 1 fait passer le systeme en runlevel 1, sur un serveur distant vous perdrez donc votre connexion SSH, necessitant un reboot materiel, ou le changement d'utilisateur.** | ||
- | + | En recovery mode, la partition "/" est monté en read-only. Pour la monter en read-write, il faut utiliser : | |
- | Le but est de copier tout ce que vous avez dans /home, dans la nouvelle partition. Pour cela, il faut d'abord "monter" la partition en question : | + | <code>mount -o rw,remount /</code> |
+ | Le but est de copier tout ce que vous avez dans /home, dans la nouvelle partition. Pour cela, il faut d'abord "monter" la partition en question : | ||
mkdir /nouveau-home | mkdir /nouveau-home | ||
mount /dev/sda3 /nouveau-home/ | mount /dev/sda3 /nouveau-home/ | ||
Ligne 166: | Ligne 166: | ||
Il ne reste plus qu'à lancer la copie du __contenu__ du /home (mais pas du /home lui-même - attention à la syntaxe, c'est le point "." qui copie le contenu) : | Il ne reste plus qu'à lancer la copie du __contenu__ du /home (mais pas du /home lui-même - attention à la syntaxe, c'est le point "." qui copie le contenu) : | ||
- | sudo cp -a /home/. /nouveau-home/ | + | cp -a /home/. /nouveau-home/ |
À la fin de la copie, lancez de nouveau la commande : | À la fin de la copie, lancez de nouveau la commande : | ||
Ligne 175: | Ligne 175: | ||
ls -al /nouveau-home/votre_login/ | ls -al /nouveau-home/votre_login/ | ||
- | |||
Ligne 186: | Ligne 185: | ||
ou à partir de Karmic Koala : | ou à partir de Karmic Koala : | ||
- | sudo blkid /dev/sda3 | + | blkid /dev/sda3 |
- | + | ||
- | <note important>Il peut arriver que ni **vol_id** ni **blkid** ne retournent de résultat satisfaisant (blkid ne retourne rien chez moi par exemple). | + | |
- | Dans ce cas, la commande **ls /dev/disk/by-uuid** permet de connaitre les UUID de toutes les partitions, montées ou non.</note> | + | Prenez un papier et un crayon, et notez soigneusement l'uuid que vous renvoie cette commande ou ajoutez automatiquement l'uuid à la fin de /etc/fstab : |
- | <note important>La raison d'un retour vide est très certainement causé par une commande qui n'est pas lancée en tant que root. Etant dans le même cas, j'ai ajouté "sudo" devant la commande et ça fonctionne.</note> | + | |
- | Prenez un papier et un crayon, et notez soigneusement l'uuid que vous renvoie cette commande. Ensuite, éditez le fichier /etc/fstab : | + | blkid /dev/sda3 >> /etc/fstab |
+ | |||
+ | Ensuite, éditez le fichier /etc/fstab : | ||
nano /etc/fstab | nano /etc/fstab | ||
- | Et ajoutez une ligne comme ceci : | + | Et ajoutez/modifier une/cette ligne comme ceci : |
<file> | <file> | ||
Ligne 207: | Ligne 205: | ||
Ici, deux cas peuvent se présenter : | Ici, deux cas peuvent se présenter : | ||
- | * **Cas N°1 :** Votre ancien /home n'était pas sur une partition séparée. Dans ce cas, enregistrez et quittez le fichier fstab, puis exécutez les deux commandes suivantes : | + | * **Cas n<sup>o</sup> 1 :** Votre ancien /home n'était pas sur une partition séparée. Dans ce cas, enregistrez et quittez le fichier fstab, puis exécutez les deux commandes suivantes : |
mv /home /home.bak | mv /home /home.bak | ||
Ligne 213: | Ligne 211: | ||
- | * **Cas N°2 :** Votre ancien « /home » était sur une partition séparée. Le fichier fstab contient donc une autre ligne avec le paramètre « /home ». Commentez l'ancienne ligne en ajoutant un dièse (''#'') au début de la ligne, puis enregistrez et quittez. | + | * **Cas n<sup>o</sup> 2 :** Votre ancien « /home » était sur une partition séparée. Le fichier fstab contient donc une autre ligne avec le paramètre « /home ». Commentez l'ancienne ligne en ajoutant un dièse (''#'') au début de la ligne, puis enregistrez et quittez. |
Vous pouvez maintenant faire un essai en redémarrant l'ordinateur : | Vous pouvez maintenant faire un essai en redémarrant l'ordinateur : | ||
Ligne 224: | Ligne 222: | ||
Tout s'est bien passé, reste à faire un peu de ménage en supprimant les fichiers contenus dans l'ancien /home, puisqu'ils ont tous été copiés sur sda3. | Tout s'est bien passé, reste à faire un peu de ménage en supprimant les fichiers contenus dans l'ancien /home, puisqu'ils ont tous été copiés sur sda3. | ||
- | * **Cas N°1 :** Votre ancien « /home » n'était pas sur une partition séparée, vous avez donc créé « /home.bak », que vous pouvez maintenant supprimer en toute sécurité, dans un [[:terminal|terminal]] saisissez la commande : | + | * **Cas n<sup>o</sup> 1 :** Votre ancien « /home » n'était pas sur une partition séparée, vous avez donc créé « /home.bak », que vous pouvez maintenant supprimer en toute sécurité, dans un [[:terminal|terminal]] saisissez la commande : |
sudo rm -rf /home.bak | sudo rm -rf /home.bak | ||
Ligne 230: | Ligne 228: | ||
<note important>Attention : Ne vous trompez pas dans la syntaxe de cette commande ! Tout ce qui se trouvait dans /home va être effacé (ce qui n'est pas un problème puisque tout a été copié dans sda3 si tout s'est correctement déroulé).</note> | <note important>Attention : Ne vous trompez pas dans la syntaxe de cette commande ! Tout ce qui se trouvait dans /home va être effacé (ce qui n'est pas un problème puisque tout a été copié dans sda3 si tout s'est correctement déroulé).</note> | ||
- | * **Cas N°2 :** Votre home était déjà sur une partition séparée : vous pouvez simplement [[:partitions#que_signifie_formater_une_partition|reformater votre partition]]. | + | * **Cas n<sup>o</sup> 2 :** Votre home était déjà sur une partition séparée : vous pouvez simplement [[:partitions#que_signifie_formater_une_partition|reformater votre partition]]. |
- | ==== En cas de problèmes ==== | + | ===== Méthode 4 : Démarche avec le terminal ; réutilisation sans copie du /home d'une autre partition ===== |
- | Si vous avez des messages d'erreurs une fois l'ordinateur redémarré en mode graphique, essayez de vous connecter en ligne de commande (Ctrl+Alt+F1) et vérifiez avec la commande suivante que « /dev/sda3 » est bien montée. | + | === Avant propos === |
+ | On va réutiliser un /home qui fonctionne avec une nouvelle installation du système d'exploitation.\\ | ||
+ | On supposera que l'on reste sur le même système d'exploitation - y compris la version, par exemple 16.04.2 - et que celui-ci est à jour pour augmenter la compatibilité, mais selon les cas c'est ou ce n'est pas nécessaire. | ||
- | df -h | + | === Prérequis === |
+ | Une partition UUID=452584560-4521-12ae-b1d7-32fd221fd2125c contient un /home qui deviendra le futur /home: on l'appelle home0;\\ | ||
+ | Une installation a été faite d'un système propre; en particulier cette partition contient la racine / qui contient /home: on l'appelle home1. | ||
- | Si ce n'est pas le cas, quelque chose s'est mal passé à l'étape 3. Redémarrez en mode recovery et [[:tutoriel:comment_editer_un_fichier|éditez]] à nouveau le fichier « /etc/fstab ». Si vraiment vous n'arrivez pas à montez la partition de cette façon, laissez tomber l'UUID et mettez à la place une ligne du genre : | + | === But === |
+ | Le but est alors de virer home1 qui ne contient rien d'intéressant et d'utiliser home0 à la place. | ||
- | <file> | + | === Méthode === |
- | /dev/sda3 /home ext3 defaults 0 2 | + | Démarrer en root.\\ |
- | </file> | + | Détruire /home ( éventuellement le renommer avec **mv /home /home1** ).\\ |
+ | Rajouter une ligne dans /etc/fstab du type:\\ | ||
+ | UUID=452584560-4521-12ae-b1d7-32fd221fd2125c /home ext4 defaults 0 2\\ | ||
+ | Faire prendre en compte par le système cette nouvelle configuration avec **mount -a**.\\ | ||
+ | **ls /home/** devrait alors vous montrer le contenu de la partition home0. | ||
+ | ===== Méthode 5 : Démarche par duplication ===== | ||
+ | - Booter avec une live USB afin de pouvoir utiliser des partitions non actives. | ||
+ | - Lancer le logiciel GPARTED. | ||
+ | - Rétrécir éventuellement la partition qui contient /home surtout si elle contient aussi / | ||
+ | - Copier la partition contenant le répertoire /home (Elle peut aussi contenir d'autres répertoires). | ||
+ | - Coller la partition dans la nouvelle partition ou dans un espace inoccupé d'une taille au moins équivalente. | ||
+ | - Modifier le UUID de la partition réception de la copie afin qu'il n'y ait pas de doublon. | ||
+ | - Lancer la commande **sudo blkid** afin de récupérer le UUID qui a été alloué à cette nouvelle partition. | ||
+ | - Mettre à jour la ligne du fichier **/etc/fstab** décrivant le point de montage de la partition /home avec cette valeur de UUID. | ||
+ | - Booter. | ||
- | Redémarrez et, normalement, cela devrait être bon ! | ||
- | Pour votre prochaine réinstallation d'Ubuntu, vous devrez prendre en compte la partition séparée, en suivant une des méthodes décrites dans ce tutoriel : [[:reinstallation_ubuntu]]. | ||
+ | ===== Voir aussi ===== | ||
- | |||
- | ===== Voir aussi ===== | ||
- | |||
- | * **(fr)** [[http://www.cepcasa.info/blog/?p=12|Comment déplacer son /home (site du CEP)]] | ||
* [[http://www.courtois.cc/monblog/index.php/2008/09/02/536-changer-son-linux-d-un-disque-a-un-autre-ubuntu-804|Recopier ses données et son système lors d'un changement de disque dur]] (à réserver aux connaisseurs). | * [[http://www.courtois.cc/monblog/index.php/2008/09/02/536-changer-son-linux-d-un-disque-a-un-autre-ubuntu-804|Recopier ses données et son système lors d'un changement de disque dur]] (à réserver aux connaisseurs). | ||
* [[:reinstallation_ubuntu]] : comment réinstaller Ubuntu sur un /home séparé. | * [[:reinstallation_ubuntu]] : comment réinstaller Ubuntu sur un /home séparé. | ||
Ligne 261: | Ligne 273: | ||
---- | ---- | ||
- | //Contributeurs : [[utilisateurs:raph|Raphaël Doursenaud]],[[utilisateurs:daeavelwyn]], [[utilisateurs:Hoper]].// | + | //Contributeurs principaux : [[utilisateurs:raph|Raphaël Doursenaud]],[[utilisateurs:daeavelwyn]], [[utilisateurs:Hoper]] ,[[utilisateurs:bruno_sanchiz|dindoun]].// |