The Porcini mushroom