First quantitative characterization of the Martian dust devil dimensions determined from InSight data | Publicación