Easycrypt : decryption activity (test OK), distinction fichier / dossier à l'affichage, système d'icônes (KO), refactoring