What is the name of this about 10cm high, grey, "flat hat" fungus?
Based on the dark lamellae and the ring around the foot, I would bet on something in the Agaricus genus. The French Wikipedia gives quite some details about common species in this genus: https://fr.wikipedia.org/wiki/Agaric