Mise à jour Sage 9.0

Demande @chapoton

tourne sour python3 par defaut, donc les fichiers de configurations peuvent etre un peu simplifies.