Un Coprocesseur microprogrammable pour les applications symboliques — Michel Couprie