Equidistribution of small points on abelian varieties Nullstellensatz effectif et conjecture de Serre (théorème de Quillen- Suslin) pour le calcul formel. (An effective Nullstellensatz and the Serre conjecture (Quillen-Suslin theorem) for the computer algebra) 