À Porto Rico, le miniboom de la culture des champignons