Doit-on dire un ou une ultraproduit ?