L'intégration dans les groupes topologiques et ses applications - Weil, André, 1906-1998 (Hermann & Cie, éditeurs, 1940)