Caractérisation sismique à source active des lacs subglaciaires : modélisation numérique, validation sur le terrain et implications pour l'exploration antarctique | Synapse