Dépôts de ProgressNS

3 dépôts publics de ProgressNS au catalogue, du plus étoilé au moins étoilé.