Le Gestionnaire de Fichiers est une plateforme dédiée à la diffusion et au partage de ressources éducatives.