Dépôts de manuel

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

Voir manuel sur GitHub