Ce sont les empreintes de pas du Roi champignon ?