diff --git a/lang/fr/resource.php b/lang/fr/resource.php
index 72b45f22d06..c64ff412cdb 100644
--- a/lang/fr/resource.php
+++ b/lang/fr/resource.php
@@ -68,12 +68,13 @@ $string['pan'] = 'Pan';
 $string['parameter'] = 'Paramètre';
 $string['parameters'] = 'Paramètres';
 $string['popupresource'] = 'Cette ressource apparaîtra dans une fenêtre pop-up';
-$string['popupresourcelink'] = 'Dans le cas contraire, cliquez ici : $a';
+$string['popupresourcelink'] = 'Dans le cas contraire, cliquez ici : $a';
 $string['resourcetype'] = 'Type de ressource';
 $string['resourcetypedirectory'] = 'Afficher le contenu d\'un dossier';
 $string['resourcetypefile'] = 'Lien vers un fichier ou un site web';
 $string['resourcetypehtml'] = 'Composer une page web';
 $string['resourcetypelabel'] = 'Insérer une étiquette';
+$string['resourcetyperepository'] = 'Lien vers un espace de dépôt';
 $string['resourcetypetext'] = 'Composer une page de texte';
 $string['searchweb'] = 'Rechercher une page web';
 $string['serverurl'] = 'URL du serveur ($a->wwwroot)';