Thème clair / sombre

Discussion initiée dans #4865 : ajouter un thème sombre.

Par défaut ça doit choisir selon la préférence système, mais il faut pouvoir choisir manuellement et que ça reste en mémoire.