Le premier GPS à rayons cosmiques au monde va améliorer la navigation souterraine