Réduction d'une forme quadratique dans le groupe linéaire canonique — Henri Mineur