Champignon definitions