Mathématiques pour le calcul formel — Maurice Mignotte