Mushrooms after Paul-André Robert