NB : Si vous avez également accès à la documentation d'une autre université abonnée (par exemple l'université de Rennes), vous pouvez l'ajouter à l'extension en second établissement. Cliquez sur l'icône Lean Library, puis sur la roue crantée, puis sur "Add extra institute" et sélectionnez l'institution souhaitée.