Grotta dei Cervi a Porto Badisco: perché è importante