Des « pierres précieuses » sur Mars ? Des minéraux proches des rubis pourraient révéler une géologie inattendue