Gato europeo de pelo corto