Modification of "Fichier"

diff --git a/lang/fr/help/resource/resourcetype.html b/lang/fr/help/resource/resourcetype.html
index 9e88659617e3fc9af82f33cb1b9ab98703f53089..990d4a6cea938852b7cf330ce1be987e6627df12 100644 (file)
--- 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&egrave;re dont on acc&egrave;de &agrave; leur contenu :</p>
 
-<p><b>Fichier envoy&eacute;</b>&nbsp;: affichera un fichier que
-vous aurez envoy&eacute; sur le cours. Voir la section &laquo;&nbsp;Fichiers&nbsp;&raquo;.</p>
+<p><b>Fichier</b>&nbsp;: affichera un fichier que vous aurez
+pr&eacute;alablement d&eacute;pos&eacute; dans le cours. Voir la section
+&laquo;&nbsp;Fichiers&nbsp;&raquo;.</p>
 
 <p><b>Page web (externe)</b>&nbsp;: un lien vers une page sur le web.
 Lorsque quelqu'un cliquera sur cette ressource, il sera envoy&eacute; sur cette page,