Dépôts de coverity

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