Gestionnaire de fichiers."; $string['notypechosen'] = "Vous devez choisir un type. Utiliser le bouton « Retour » de votre navigateur et recommencer."; $string['resourcetype'] = "Type de ressource"; $string['resourcetype1'] = "Référence"; $string['resourcetype2'] = "Page Web"; $string['resourcetype3'] = "Fichier envoyé"; $string['resourcetype4'] = "Texte pur"; $string['resourcetype5'] = "Lien vers une page Web"; $string['resourcetype6'] = "Texte HTML"; $string['resourcetype7'] = "Programme"; $string['resourcetype8'] = "Texte Wiki"; ?>