Précisions sur les fichiers et leur noms

diff --git a/doc.txt b/doc.txt
index 59ef402450f53ee5a3d2962137ff0846deb8c74e..0e7324c3d3ebb1aa9e6a4cd3bf17727f4113bd89 100644 (file)
--- a/doc.txt
+++ b/doc.txt
@@ -18,10 +18,11 @@ FFFF'FFFF'8000'0000 ↔10000'0000'0000'0000 - Noyau. (2 Gio)
 
 Principes de base:
 Tout processus a une vue du système de fichiers.
+Un nom de fichier est composé d'une séquence de points de code UTF-8 valides, excepté ceux de 0 à 31 inclus.
 Ce système de fichier est composé de deux types de fichiers:
        - Les fichiers simples, qui contiennent des octets.
                On dit d'un fichier simple qu'il est un fichier texte s'il est composé uniquement de 0, 1, ou plusieurs lignes.
-               Une ligne est une séquence de caractères UTF-8 valides, suivie d'un \n.
+               Une ligne est une séquence de points de code UTF-8 valides, suivie d'un \n.
                Tout fichier texte se termine donc par un \n.
        - Les répertoires, qui contiennent d'autres fichiers.
 Il y a un répertoire racine, nommé "/", dont on accède à l'enfant "<fichier>" via "/<fichier>".