Calcul formel et nombre de racines d'un polynome dans le disque unité — Bernard Gleyse