C’era una volta il grillo di Pinocchio: perché non c’è più e quale specie lo ha sostituito