utilisation d’un logiciel d’algèbre dynamique