Bon, loi de Murphy: on cherche des heures, on se décide à demander ... et on trouve !
Donc, je m'auto-réponds, pour les autres malheureux: onglet "tools" (horizontal), "system" (vertical), et il est là, le bouton "save and reboot" !
Merci moi - avec plaisir, ce n'était rien - sisi je te jure, ça m'a bien aidé!