Téléchargez l'extension Lean library depuis https://leanlibrary.com/products/lean-library-extension
L’extension est disponible pour les principaux navigateurs :
L'extension Lean Library apparaît dans la barre du navigateur :
Sélectionnez votre bibliothèque
Paramétrez l'extension en sélectionnant "EHESP" dans le menu déroulant "Select your library".
Choisissez votre langue :

et une fenêtre pop-up apparaît (parfois après un court délai).