Le logiciel documentaire ou catalogue informatisé s’appelle PMB :

Il permet de chercher les documents du CDI par titre, par auteur ou par thème

Vous pouvez accéder à des étagères ou alors formuler une demande : un auteur, un thème de roman, un mot-clé, …