https://9pdf.net/document/zlgemw46-produits-théorie-limites-projectives-inductives.html