Jacques Boidin — French botanist and mycologist (1922-2013)