Pour ce qui est du déchiffrement d'un seul fichier, il suffit de
1) créer, dans le dossier chiffré, un répertoire temporaire
2) de créer, dans ce répertoire temporaire, un lien (j'ai créé un lien physique) de même nom que le fichier chiffré à rapatrier
3) d'utiliser la variable d'environnement ENCFS6_CONFIG, comme l'indique la documentation davfs2
au point 3.2
4) de lancer la commande encfs.
Et bien évidemment, si l'on veut plusieurs fichiers, on crée autant de liens que nécessaire.
Il ne reste plus qu'à trouver le nom du fichier chiffré qui correspond au fichier souhaité.
P.S :
ENCFS6_CONFIG=fichier_configuration encfsctl encode répertoire_chiffré "nom_en_clair_du_fichier_recherché"
ENCFS6_CONFIG=fichier_configuration encfsctl decode répertoire_chiffré "nom_chiffré_du_fichier_recherché"
donnent, pour la première commande le nom chiffré du fichier passé en clair, et pour la deuxième, le nom en clair du nom chiffré.
Un script pour faire la liste des noms chiffrés, les traduire et les présenter en clair à l'utilisateur, permet de résoudre le problème.