Carving in the cathedral at Auch