Y a-t-il des petits et des grands champignons ?