Vous pouvez alimenter vos résultats de recherche dans Votre porte-documents de manière à en obtenir un fichier pdf. Ce PDF s’obtient en utilisant 
, icônes situées en haut à gauche de la notice, du résultat de recherche.
Votre porte-documents est toutefois effacé lorsque vous quittez le site et vous ne pourrez pas la retrouver lors de votre prochaine visite sur le site.
L'accès au porte-documents se trouve dans le menu Raccourci - "Porte-documents"