Saviez-vous qu’il existe plus de 5 000 minéraux différents sur Terre ? Pourtant, une douzaine seulement constituent l’essentiel des roches que nous connaissons.