Réduction de réseaux

Adaptations d’idées provenant du cas polynomial au cas entier.