Des robots explorent les tubes de lave : ouvrir la voie aux habitats lunaires et martiens