Dépôts de schemedoc

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

Voir schemedoc sur GitHub