​Le CDI (Centre de Documentation et d’Information) est la principale ressource pédagogique :

accès à ESIDOC (CDI virtuel (sous ce lien).