Dépôts de coredump

1 dépôt public de coredump au catalogue pour l’instant.