Title: Notes sur l'histoire de la "Pierre a champignons" (Pietra fungalia)