Mars : un séisme de magnitude 5 enregistré par le sismomètre français SEIS