Découper en fonctions (donner seulement les interfaces

Par exemple : discriminant(a, b, c) $\to$ réel ; produit_racines(a, c) $\to$ réel ($=c/a$) ; signes_contraires(a, b, c) $\to$ booléen, qui renvoie discriminant(a,b,c) > 0 and produit_racines(a,c) < 0. Le critère : deux racines réelles de signes contraires $⟺\Delta >0$ et produit $\frac{c}{a}<0$ (somme et produit des racines, chapitre Second degré).