compTrinomeSign1:Signes manquants d'un trin&ocirc;me I
compTrinomeSign2:Signes manquants d'un trin&ocirc;me II
homogIneq:Inquation avec un quotient
homogSign:Signe d'un quotient d'affines
tableSign2Ineq:Signes et inquation de trinome
trinomeIneq:Inquation avec un trin&ocirc;me
trinomeSign:Signe d'un trin&ocirc;me
