[Systeme] mise a jour Swi-Prolog

Bonjour, Antoine Desolle, qui fait une thèse encadrée par Henri et moi, a des problèmes avec sa version actuelle de Swi-Prolog. Il faudrait qu'il puisse disposer de la dernière version. A-t-il les droits pour l'installer ? Sinon pourriez vous le faire ? Merci. Dominique