La méthode générale de construction d`ultraproduits part d`un ensemble d`indices I, d`une structure Mi pour chaque élément i de I (toutes ayant la même signature), et d`un ultrafiltre U sur I. Le choix usuel est de prendre I infini et U non trivial, c`est-à-dire ne contenant auc...