Dépôts de seqan

2 dépôts publics de seqan au catalogue, du plus étoilé au moins étoilé.