Champignons du Luxembourg - Redouté, Pierre Joseph 1759-1840; Mangen, Jean-Marie (Grand-Duché de Luxembourg, 1989)