District du Puy

ancienne division territoriale française