Demande Frédéric Chapoton :

La version installée date de janvier 2017. La dernière version disponible de sage est la 8.6, sortie il y a une semaine environ. Je suppose qu'il va falloir compiler, parce que les binaires disponibles ne doivent pas bien coller.