La découverte du dioxyde de carbone dans les inclusions des minéraux : une grande aventure scientifique du dix-neuvième siècle