Add kivy exception to the documentation

diff --git a/documentation_fr.md b/documentation_fr.md
index 346b52d025c5785c20290867697d141a876edbd1..748bf32a1fed31e61fe3b13d0c975f7710cf6e96 100644 (file)
--- a/documentation_fr.md
+++ b/documentation_fr.md
@@ -10,9 +10,7 @@ Music Sampler est un lecteur de musique qui permet de pré-programmer des transi
 
 - Il faut avoir ffmpeg d'installé. Pour cela, il faut installer le paquet `libav-tools` :
 
-    ```
-    sudo apt-get install libav-tools
-    ```
+        sudo apt-get install libav-tools
 
 Si vous utilisez la version compilée de Music Sampler (cf. plus bas pour un lien de téléchargement), il n'y a rien d'autre à installer.
 
@@ -36,9 +34,7 @@ Le projet est également disponible via pip:
 
 Le programme utilise les polices "Symbola" et "Ubuntu" (Regular / Bold), qui doivent être disponibles, et la librairie portaudio:
 
-    ```
     sudo apt-get install ttf-ancient-fonts ttf-ubuntu-font-family portaudio
-    ```
 
 ## Version compilée
 
@@ -342,15 +338,15 @@ On utilise ensuite, dans le fichier de configuration, `include: alias1` ou `incl
 
 Sont listés ci-dessous une liste de problèmes rencontrés, avec des solutions proposées. Si vous en découvrez d'autre, contactez l'auteur pour les ajouter à la liste.
 
- * Le programme se lance et s'arrête tout de suite.
+* Le programme se lance et s'arrête tout de suite.
 
 Il s'agit généralement d'une erreur de syntaxe dans le fichier de config. Dans ce cas, le terminal doit afficher quelques détails sur l'erreur en question (au moins la ligne correspondante).
 
- * La musique "grésille" affreusement.
+* La musique "grésille" affreusement.
 
 Il peut s'agir d'un problème de latence (avec certains ordinateurs un peu lents). Essayez de changer la latence (par exemple, 0.1 seconde)
 
-  * Impossible de jouer plus d'une musique à la fois.
+* Impossible de jouer plus d'une musique à la fois.
 
 Le système n'arrive pas à mixer les musiques par lui-même. Vous pouvez essayer de regarder la liste des périphériques de son (`--list-devices`) puis en sélectionner un autre si disponible. Vous pouvez aussi essayer le mixeur intégré à music_sampler, mais les résultats ne sont pas toujours très fluides (ne pas hésiter à jouer avec les paramètres avancés comme latency et blocksize).
 
@@ -370,7 +366,19 @@ Si votre système utilise PulseAudio, il peut s'agir d'un problème de configura
       fallback "sysdefault"
     }
 
-  * Pour d'autres problèmes ou bugs à reporter, voir le [Bug Tracker](https://git.immae.eu/mantisbt/view_all_bug_page.php?project_id=1)
+* La console affiche une erreur :
+
+        Exception in thread Thread-1:
+        Traceback (most recent call last):
+          File "threading.py", line 914, in _bootstrap_inner
+          File "threading.py", line 862, in run
+          File "kivy/input/providers/mtdev.py", line 219, in _thread_run
+          File "kivy/lib/mtdev.py", line 131, in __init__
+        PermissionError: [Errno 13] Permission denied: '/dev/input/event6'
+
+C'est une erreur de permission d'accès à un périphérique, généré par la librairie kivy. Elle peut être ignorée et n'aura pas d'incidence.
+
+* Pour d'autres problèmes ou bugs à reporter, voir le [Bug Tracker](https://git.immae.eu/mantisbt/view_all_bug_page.php?project_id=1)
 ## Divers
 
 Les extraits de musiques proposés en exemples proviennent de [Jamendo](https://jamendo.com). Les musiques (complètes) sont disponibles en libre téléchargement pour un usage non commercial :