La commande au cas où d'autres personnes auraient le même problème :
Code : Tout sélectionner
ln -s /usr/lib/libmpfr.so.4 /usr/lib/libmpfr.so.1

Aller sur la recherche avancée
Code : Tout sélectionner
ln -s /usr/lib/libmpfr.so.4 /usr/lib/libmpfr.so.1
Code : Tout sélectionner
xcas: error while loading shared libraries: libmpfr.so.1: cannot open shared object file: No such file or directory