L'ancienne gendarmerie de Rocamadour a été vendue aux enchères