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