Des roches « martiennes » synthétisées en laboratoire pour interpréter les données de la mission InSight