Inventaire supplémentaire des monuments historiques à la date du 31 décembre 1942 — France. Direction générale de l'architecture