Dépôts de manuels

4 dépôts publics de manuels au catalogue, du plus étoilé au moins étoilé.

Voir manuels sur GitHub