Pigments utilisés pour des peinture rupestre au Parc du Thot, France / Pigments used for rock paintings in Parc du Thot, France