L'intégration dans les groupes topologiques et ses applications — André Weil