Réponses:
Vous cliquez sur le bouton Arrêter puis cliquez sur redémarrer:

Vous pouvez également taper redémarrer dans le tiret.

redémarrerpour avoir l'option. restart, rebootne fonctionnent tout simplement pas. Vraiment ennuyeux étant donné que la plupart des commandes, noms de programme et options sont en anglais, ce que j'ai appris, et ce n'est pas si évident de savoir comment il a été décidé de les traduire. Conséquence: terminal + sudo reboot.
Vous pouvez facilement redémarrer l'ordinateur en appuyant sur Alt+ F2et en tapant gksu rebootdans la case qui s'affiche.
OU Alt+F2
arrêt sudo -r maintenant
:)