Local catalog - Includes only Science and Medic libraries from Sorbonne University.
------
BibCNRS - List of all documentation made available by the CNRS.
------
SUDOC - Système universitaire de documentation. French collective catalogue created by Higher Academic and Research libraries and resource centers. There are nearly 12 million bibliographic records in this catalog describing all kinds of document (books, dissertations, reviews, electronic resources, audio-visual documents, microfiches, maps, scores, manuscripts and very old books.)
Sudoc also catalogs the series collections of periodicals held by around 2000 library institutions (such as town libraries, other resource centres, etc.)
Lastly, Sudoc's mission is to list all dissertations/theses produced in France.
(Description SUDOC)
------
CFP - Shared catalog for mathematical journals. Lets you localize titles in French mathematics libraries.
------
CCFR - The French Collective Catalog localize nearly 30 million documents held in French libraries.
Update: 2018-04-11