From cbf93aff2b0a78e0f6922dbfe70e820db5c9da64 Mon Sep 17 00:00:00 2001
From: martignoni
Date: Thu, 18 Dec 2003 15:40:46 +0000
Subject: [PATCH] Modification of "Fichier"
---
lang/fr/help/resource/resourcetype.html | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/lang/fr/help/resource/resourcetype.html b/lang/fr/help/resource/resourcetype.html
index 9e88659617e..990d4a6cea9 100644
--- a/lang/fr/help/resource/resourcetype.html
+++ b/lang/fr/help/resource/resourcetype.html
@@ -4,8 +4,9 @@
Les différents types de ressources déterminent principalement
la manière dont on accède à leur contenu :
-Fichier envoyé : affichera un fichier que
-vous aurez envoyé sur le cours. Voir la section « Fichiers ».
+Fichier : affichera un fichier que vous aurez
+préalablement déposé dans le cours. Voir la section
+« Fichiers ».
Page web (externe) : un lien vers une page sur le web.
Lorsque quelqu'un cliquera sur cette ressource, il sera envoyé sur cette page,