Пиренейская рысь, или испанская рысь, или сардинийская рысь