Les carrières sous Paris — Île-de-France. Inspection générale des carrières