réduction d’une forme